module Check_sexp_conversion: functor (M : sigtype t include Comparable.S val examples : t listval sexp_of_t : t -> Sexplib.Sexp.tend) -> sig .. end
functor (
M
:
sig
type t
include Comparable.S
val examples : t list
t list
val sexp_of_t : t -> Sexplib.Sexp.t
t -> Sexplib.Sexp.t
end
) ->
sig type t with sexp_of include S with type t := t val examples : t list end