Functor Comparable.Poly

module Poly (T : sig
type t 

val sexp_of_t : t -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> t
end) : sig .. end

module Replace_polymorphic_compare: sig .. end

include Replace_polymorphic_compare

val ascending : 'a -> 'a -> int

val descending : 'a -> 'a -> int

include C

module Map: Map.Make_using_comparator(C)

module Set: Set.Make_using_comparator(C)