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