chored"><a href="#val-concrete_int_op" class="anchor"></a><code><span><span class="keyword">val</span> concrete_int_op : 
  <span><a href="../Term/Operator/index.html#type-t">Term.Operator.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span>( <span><span class="xref-unresolved">Base</span>.int <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Base</span>.int <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Base</span>.int )</span> <span clas