module type S = sig .. end
sig
end
type elt
val sexp_of_elt : elt -> Sexplib.Sexp.t
elt -> Sexplib.Sexp.t
val elt_of_sexp : Sexplib.Sexp.t -> elt
Sexplib.Sexp.t -> elt
val zero : elt
elt
val (+) : elt -> elt -> elt
elt -> elt -> elt
val (-) : elt -> elt -> elt