ec value" id="val-lift_cmp"><a href="#val-lift_cmp" class="anchor"></a><code><span class="keyword">val</span> lift_cmp : <a href="../../BO/Boolean/EqualOrder/index.html#type-t">BO.Boolean.EqualOrder.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../BO/Boolean/index.html#type-t">BO.Boolean.t</a></code></dt><dd><p>It lifts a comparison of <code>Loc.t</code> to <code>t</code>. The comparison can be <code