ue : <a href="../Lambda/L/index.html#type-term">Lambda.L.term</a></code></dt><dd><p>true lambda term</p></dd></dl><dl><dt class="spec value" id="val-lfalse"><a href="#val-lfalse" class="anchor"></a><code><span class="keyword">val</span> lfalse : <a href="../Lambda/L/index.html#type-term">Lambda.L.term</a></code></dt><dd><p>false lambda term</p></dd></dl><dl><dt class="spec value" id="val-to_bool"><a href="#val-to_bool" class="anchor"></a><code><span class="keyword">val</span> to_bool : <a href="../Lambda/L/