x.html">bastet</a> &#x00BB; <a href="../../index.html">Bastet</a> &#x00BB; <a href="../index.html">Result</a> &#x00BB; MAGMA_F</nav><h1>Module type <code>Result.MAGMA_F</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-T/index.html">T</a> : <a href="../../Interface/index.html#module-type-TYPE">Interface.TYPE</a></code></li><li><code><a href="argument-2-M/index.html">M</a> : <a href="../../Interface/index.html#module-type-MAGMA">Interface.MAGMA</a></code></li></ul><h3 c