Module Base.Comparable_intf

module type Infix = Polymorphic_compare_intf.Infix

module type Polymorphic_compare = Polymorphic_compare_intf.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).