pan> = <code class="type">('a, Session._0) <a href="Session.html#TYPEst">st</a></code> </pre>
<div class="info ">
<div class="info-desc">
<p>The type of endpoints for <em>receiving</em> messages of type
<code class="code">'a</code>.</p>
</div>
</div>


<pre><span id="TYPEot"><span class="keyword">type</span> <code class="type">'a</code> ot</span> = <code class="type">(Session._0, 'a) <a href="Session.html#TYPEst">st</a></code> </pre>
<div class="info ">
<div class="info-desc">
<p>The type of endpoints for <