.. <span class="keyword">end</span></code></div><div class="spec module" id="module-Output"><a href="#module-Output" class="anchor"></a><code><span class="keyword">module </span><a href="Output">Output</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-P"><a href="#module-P" class="anchor"></a><code><span class="keyword">module </span><a href="P">P</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div>