module type Infix = Base.Comparable_intf.Infixmodule type Polymorphic_compare = Base.Comparable_intf.Polymorphic_comparemodule type Validate = Base.Comparable_intf.Validatemodule type With_zero = Base.Comparable_intf.With_zeromodule type S_common : sig ... endUsage 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).
module type S_plain : sig ... endmodule type S : sig ... endmodule type Map_and_set_binable : sig ... endmodule type S_binable : sig ... end