module type Infix = Base.Comparisons.Infixmodule type Polymorphic_compare = Base.Comparisons.Smodule type Validate : sig ... endmodule type With_zero : sig ... endmodule type S : sig ... endUsage example:
module Foo : sig
type t = ...
include Comparable.S with type t := t
endThen use Comparable.Make in the struct (see comparable.mli for an example).
module type Comparable : sig ... end