Module Make1 (M : sig .. end) : S1 with type 'a t := 'a M.t

Make1 creates a comparator value and its phantom comparator_witness type for a unary type. It takes a compare and sexp_of_t that have non-standard types because the Comparator.t type doesn't allow passing in additional values for the type argument.


M : sig .. end


type 'a t
type comparator_witness
val comparator : ('a t, comparator_witness) comparator