ode></dt><dd><p>Every <a href="module-type-GROUP/index.html"><code>GROUP</code></a> is a <a href="module-type-LOOP/index.html"><code>LOOP</code></a>.</p></dd></dl><div class="spec module-type" id="module-type-GROUP_LOOP_ANY"><a href="#module-type-GROUP_LOOP_ANY" class="anchor"></a><code><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-GROUP_LOOP_ANY/index.html">GROUP_LOOP_ANY</a> = <span class="keyword">functor</span> (<a href="module-type-GROUP_LOOP_ANY/argument-1-