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


<pre><span id="TYPEseq"><span class="keyword">type</span> <code class="type">(+'a, +'b)</code> seq</span> </pre>
<div class="info ">
<div class="info-desc">
<p>The type of a sequentially composed protocol, where <code class="code">'a</code> is the
protocol to be performed first, followed by <code class="code">'b</code>.</p>
</div>
</div>


<pre><span id="TYPEchoice"><span class="keyword">type</span> <code class="type">('a, 'b