module type Infix = Base.Comparisons.Infix
module type Polymorphic_compare = Base.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).