n> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-Summary"><a href="#module-Summary" class="anchor"></a><code><span class="keyword">module </span><a href="Summary">Summary</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-Sup"><a href="#module-Sup" class="anchor"></a><code><span class="keyword">module </span><a href="Sup">Sup</a> : <span class="keyword">sig</span> ... <span class="keyword">end</sp