Functor Comparable.Make_common

module Make_common (T : sig
type t 

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

type t = T.t 

module Replace_polymorphic_compare: sig .. end

include Replace_polymorphic_compare

val ascending : T.t -> T.t -> int

val descending : T.t -> T.t -> int