> &#x00BB; Lambda__Bool</nav><h1>Module <code>Lambda__Bool</code></h1></header><dl><dt class="spec exception" id="exception-NotABoolTerm"><a href="#exception-NotABoolTerm" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">NotABoolTerm</span></code></dt><dd><p>raised whenever trying to convert a non boolean term to boolean</p></dd></dl><dl><dt class="spec value" id="val-ltrue"><a href="#val-ltrue" class="anchor"></a><code><span class="keyword">val</span> ltr