�€“ <a href="../../../index.html">alg_structs_qcheck</a> &#x00BB; <a href="../../index.html">Alg_structs_qcheck__</a> &#x00BB; <a href="../index.html">Applicative</a> &#x00BB; S</nav><h1>Module type <code>Applicative.S</code></h1><p>The <a href="../../../../alg_structs/Alg_structs/Applicative/module-type-S/index.html"><code>Alg.Applicative.S</code></a> interface extended with a way of generating arbitrary <code>QCheck</code> values for <a href="index.html#type-t"><code>S.t</code></a>.</p></header><div><