ss="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/IntLit/index.html#type-t">IR.IntLit.t</a> option</span> * <span><a href="../../IR/IntLit/index.html#type-t">IR.IntLit.t</a> option</span></span></code></div><div class="spec-doc"><p>Get upper and lower bounds of an expression, if any</p></div></div><h3 id="abduction-prover"><a href="#abduction-prover" class="anchor"></a>Abduction prover</h3><div class="odoc-spec"><div class="spec value" id="val-check_implication" class="anchored"><a href="#val-che