Interfaces for infix comparison operators and comparison functions.
module type Infix : sig ... endInfix lists the typical infix comparison operators. These functions are provided by
<M>.O modules, i.e., modules that expose monomorphic infix comparisons over some
<M>.t.
module type S : sig ... end