module type S_common =sig
..end
include Comparable.Infix
val equal : comparable -> comparable -> bool
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