module Make: functor (M : sig type t val sexp_of_t : t -> Sexplib.Sexp.t val compare : t -> t -> intend) -> S with type t := M.t
functor (
M
:
sig
type t
val sexp_of_t : t -> Sexplib.Sexp.t
t -> Sexplib.Sexp.t
val compare : t -> t -> int
t -> t -> int
end
) ->
S
with type t := M.t
sig type t with compare, sexp_of end
type comparator_witness
val comparator : (t, comparator_witness) Comparator.comparator
(t, comparator_witness) Comparator.comparator