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