index.html#type-term">Lambda.L.term</a> <span>&#45;&gt;</span> bool</code></dt><dd><p><code>to_bool t</code> converts a lambda term t to boolean</p></dd></dl><dl><dt class="spec value" id="val-of_bool"><a href="#val-of_bool" class="anchor"></a><code><span class="keyword">val</span> of_bool : bool <span>&#45;&gt;</span> <a href="../Lambda/L/index.html#type-term">Lambda.L.term</a></code></dt><dd><p><code>of_bool b</code> converts a boolean t to a lambda term</p></dd></dl><dl><dt class="spec value" id="val-is_