<code class="code">'a</code> and <em>sending</em> messages of type <code class="code">'b</code>.</p>
</div>
</div>


<pre><span id="TYPEet"><span class="keyword">type</span> <code class="type"></code>et</span> = <code class="type">(Session._0, Session._0) <a href="Session.html#TYPEst">st</a></code> </pre>
<div class="info ">
<div class="info-desc">
<p>The type of endpoints that can only be closed.</p>
</div>
</div>


<pre><span id="TYPEit"><span class="keyword">type</span> <code class="type">'a</code> it</s