</span>: <code class="code">sig</code> <a href="Session.Bare.html">..</a> <code class="code">end</code></pre>
<pre><span id="MODULEMonadic"><span class="keyword">module</span> <a href="Session.Monadic.html">Monadic</a></span>: <code class="code">sig</code> <a href="Session.Monadic.html">..</a> <code class="code">end</code></pre></body></html>
