Module type Comparisons.Infix
Infix 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.
Comparisons.InfixInfix 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.