Module Comparable_intf

module Comparable_intf: sig .. end

Used for specifying a bound (either upper or lower) as inclusive, exclusive, or unbounded.

module type Infix = Polymorphic_compare_intf.Infix

module type Polymorphic_compare = Polymorphic_compare_intf.S

type 'a bound =

`\|`	`Incl of 'a`
`\|`	`Excl of 'a`
`\|`	`Unbounded`

Used for specifying a bound (either upper or lower) as inclusive, exclusive, or unbounded.

module type Validate = sig .. end

module type With_zero = sig .. end

module type S_common = sig .. end

module type S = sig .. end

Usage example:

module type Map_and_set_binable = sig .. end

module type S_binable = sig .. end

Used for specifying a bound (either upper or lower) as inclusive, exclusive, or unbounded.

ascending is identical to compare. descending x y = ascending y x. These are intended to be mnemonic when used like List.sort ~cmp:ascending and

List.sort
      ~cmp:descending

, since they cause the list to be sorted in ascending or descending order, respectively.

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