<span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a> = <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>The <a href="../../../alg_structs/Alg_structs/Functor/module-type-S/index.html"><code>Alg.Functor.S</code></a> interface extended with a way of generating arbitrary <code>QCheck</code> values.</p></dd></dl><dl><dt class="spec value" id="val-test"><a href="#val-test" class="anchor"></a><code><span class="keywor