bool"><a href="#val-is_bool" class="anchor"></a><code><span class="keyword">val</span> is_bool : <a href="../Lambda/L/index.html#type-term">Lambda.L.term</a> <span>&#45;&gt;</span> bool</code></dt><dd><p><code>is_bool t</code> returns true if t is a boolean lambda term</p></dd></dl></div></body></html>