 href="../../../index.html">bastet</a> &#x00BB; <a href="../../index.html">Bastet__Result</a> &#x00BB; <a href="../index.html">Many_Valued_Logic</a> &#x00BB; ORD_F</nav><h1>Module type <code>Many_Valued_Logic.ORD_F</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-Ok/index.html">Ok</a> : <a href="../../../Bastet/Interface/index.html#module-type-TYPE">Bastet.Interface.TYPE</a></code></li><li><code><a href="argument-2-Error/index.html">Error</a> : <a href="../../../Baste