� <a href="../../index.html">alg_structs_qcheck</a> &#x00BB; <a href="../index.html">Alg_structs_qcheck__</a> &#x00BB; Functor</nav><h1>Module <code>Alg_structs_qcheck__.Functor</code></h1></header><div class="spec module" id="module-Alg"><a href="#module-Alg" class="anchor"></a><code><span class="keyword">module</span> Alg = <a href="../../../alg_structs/Alg_structs/index.html">Alg_structs</a></code></div><dl><dt class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code>