sig
type
t
val
zero : t
val
plus : t
->
t
->
t
val
inverse : t
->
t
end