f="../index.html">Up</a> â€“ <a href="../../../../index.html">bastet</a> &#x00BB; <a href="../../../index.html">Bastet__Test</a> &#x00BB; <a href="../../index.html">Float</a> &#x00BB; <a href="../index.html">M</a> &#x00BB; Involutive_Heyting_Algebra</nav><h1>Module <code>M.Involutive_Heyting_Algebra</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-IHA/index.html">IHA</a> : <a href="../../../../Bastet/Interface/index.html#module-type-INVOLUTIVE_HEYTING_ALGEBRA">Ba