module type Infix = Comparable_intf.Infix
module type Map_and_set_binable = Comparable_intf.Map_and_set_binable
module type S = Comparable_intf.S
module type S_binable = Comparable_intf.S_binable
module type S_common = Comparable_intf.S_common
module type Validate = Comparable_intf.Validate
module type With_zero = Comparable_intf.With_zero
type 'a bound = 'a Comparable_intf.bound = 
|Incl of 'a
|Excl of 'a
|Unbounded
lexicographic cmps x y compares x and y lexicographically using functions in the list cmps.
val lexicographic : ('a -> 'a -> int) list -> 'a -> 'a -> int
module Inherit : 
functor (C : sig .. end) ->
functor (T : sig .. end) -> S with type t := T.t
Inherit comparability from a component.
module Make : 
functor (T : sig .. end) -> S with type t := T.t
Usage example:
      module Foo = struct
        module T = struct
          type t = ... with compare, sexp
        end
        include T
        include Comparable.Make (T)
      end

Then include Comparable.S in the signature (see comparable_intf.mli for an example).

module Make_binable : 
functor (T : sig .. end) -> S_binable with type t := T.t
module Map_and_set_binable : 
functor (T : sig .. end) -> Map_and_set_binable with type t := T.t
module Poly : 
functor (T : sig .. end) -> S with type t := T.t
module Validate : 
functor (T : sig .. end) -> Validate with type t := T.t
module With_zero : 
functor (T : sig .. end) -> With_zero with type t := T.t
module Validate_with_zero : 
functor (T : sig .. end) -> sig .. end
include Validate with type t := T.t
include With_zero with type t := T.t
module Check_sexp_conversion : 
functor (M : sig .. end) -> sig .. end