Functor Comparable.Make

module Make (T : sigtype t 

include Sexpable.S
val compare : t -> t -> int
end) : sig .. end

Parameters:

T : sig type t include Sexpable.S with type t := t val compare : t -> t -> int end

include C

include struct ... end

module Map: Map.Make_using_comparator(C)

module Set: Set.Make_using_comparator(C)