eyword">type</span> <a href="module-type-EQ2/index.html">EQ2</a> = <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec type" id="type-ordering"><a href="#type-ordering" class="anchor"></a><code><span class="keyword">type</span> ordering</code> = <code>[ </code><table class="variant"><tr id="type-ordering.less_than" class="anchored"><td class="def constructor"><a href="#type-ordering.less_than" class="anchor"></a><code>| </code><code>`less_than</code></td></t