sig module type S = sig type t val zero : t val ( + ) : t -> t -> t val ( - ) : t -> t -> t val t_of_sexp : Sexplib.Sexp.t -> t val sexp_of_t : t -> Sexplib.Sexp.t end end