functor
(M : sig
type 'a t
val compare : 'a Comparator.Make1.t -> 'a Comparator.Make1.t -> int
val sexp_of_t : 'a Comparator.Make1.t -> Sexplib.Sexp.t
end) ->
sig type comparator val comparator : ('a M.t, comparator) t_ end