-equal"><a href="#val-equal" class="anchor"></a><code><span class="keyword">val</span> equal : <a href="../../../IR/Exp/index.html#type-closure">IR.Exp.closure</a> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-closure">IR.Exp.closure</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>