)</code> choice</span> = <code class="type">[ `False of 'b | `True of 'a ]</code> </pre>
<div class="info ">
<div class="info-desc">
<p>The type of a binary choice, where <code class="code">'a</code> is the protocol to be
performed if <code class="code">`True</code> is selected and <code class="code">'b</code> is the protocol to be
performed if <code class="code">`False</code> is selected.</p>
</div>
</div>


<pre><span id="MODULEBare"><span class="keyword">module</span> <a href="Session.Bare.html">Bare</a>