variant constructor"><a href="#type-termkind.TBin" class="anchor"></a><code><span>| </span><span><span class="constructor">TBin</span> <span class="keyword">of</span> <a href="Binop/index.html#type-t">Binop.t</a> * <a href="#type-term">term</a> * <a href="#type-term">term</a></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>A binary operation.</p><span class="comment-delim">*)</span></td></tr><tr id="type-termkind.TBox" class="anchored"><td class="def variant constructor"><a hre