module type S =sig
..end
include Comparable.Infix
val compare : comparable -> comparable -> int
val ascending : comparable -> comparable -> int
val descending : comparable -> comparable -> int
val min : comparable -> comparable -> comparable
val max : comparable -> comparable -> comparable
module Map:Map.S
with type key = comparable
module Set:Set.S
with type elt = comparable