Module Stable.V1

type 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) t
module type S = sig ... end
module type S1 = sig ... end
val make : compare:('a -> 'a -> Base.Int.t) -> sexp_of_t:('a -> Base.Sexp.t) -> (module S_fc with type comparable_t = 'a)
module Make : module type of Make
module Make1 : module type of Make1