Functor Comparator.Make

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

type t 
type comparator_witness 
val comparator : (t, comparator_witness) Comparator.comparator