Stable.V1type nonrec ('a, 'b) t = private ('a, 'b) t = {compare : 'a -> 'a -> Base.Int.t; |
sexp_of_t : 'a -> Base.Sexp.t; |
}type ('a, 'b) comparator = ('a, 'b) tmodule type S = sig ... endmodule type S1 = sig ... endval make : compare:('a -> 'a -> Base.Int.t) -> sexp_of_t:('a -> Base.Sexp.t) -> (module S_fc with type comparable_t = 'a)