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