Module type Comparer.S1

type ('a, 'compare_a) comparer := ('a, 'compare_a) t
type 'a t
type 'compare_a compare
val compare_compare : ('compare_a -> 'compare_a -> int) -> 'compare_a compare -> 'compare_a compare -> int
val equal_compare : ('compare_a -> 'compare_a -> bool) -> 'compare_a compare -> 'compare_a compare -> bool
val sexp_of_compare : ('compare_a -> Sexplib0.Sexp.t) -> 'compare_a compare -> Sexplib0.Sexp.t
val compare_of_sexp : (Sexplib0.Sexp.t -> 'compare_a) -> Sexplib0.Sexp.t -> 'compare_a compare
val comparer : ('a, 'compare_a) comparer -> ('a t, 'compare_a compare) comparer