>| </code><code><span class="constructor">OpGt</span></code></td></tr><tr id="type-binop.OpLe" class="anchored"><td class="def constructor"><a href="#type-binop.OpLe" class="anchor"></a><code>| </code><code><span class="constructor">OpLe</span></code></td></tr><tr id="type-binop.OpLt" class="anchored"><td class="def constructor"><a href="#type-binop.OpLt" class="anchor"></a><code>| </code><code><span class="constructor">OpLt</span></code></td></tr></table></dt><dt class="spec type" id="type-predicate"><a hr