package base

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).