d">val</span> test : <span>(<span class="keyword">module</span> <a href="module-type-S/index.html">S</a>)</span> <span>&#45;&gt;</span> <span>QCheck.Test.t list</span></code></dt><dd><p><code>test (module F)</code> is a list of <code>QCheck</code> property based tests that checks whether the <a href="../../../alg_structs/Alg_structs/Functor/Law/index.html"><span>Functor Laws</span></a> hold for the given implementation <code>F</code>.</p></dd></dl><dl><dt class="spec value" id="val-tests"><a href="#val-test