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