s" class="anchor"></a><code><span class="keyword">val</span> tests : <span><span>(<span class="keyword">module</span> <a href="module-type-S/index.html">S</a>)</span> list</span> <span>&#45;&gt;</span> <span>QCheck.Test.t list</span></code></dt><dd><p><code>test implementations</code> is a flattened list of <a href="index.html#val-test"><code>test</code></a>s generated for each implementation in implementations</p></dd></dl></div></body></html>