Module Base.Comparable_intf

module type Infix = Comparisons.Infix

module type Polymorphic_compare = Comparisons.S

module type Validate : sig ... end

module type With_zero : sig ... end

module type S : sig ... end

Usage example:

      module Foo : sig
        type t = ...
        include Comparable.S with type t := t
      end

Then use Comparable.Make in the struct (see comparable.mli for an example).