>| </span><span><span class="constructor">Bottom</span></span></code></li><li id="type-t.False" class="def variant constructor anchored"><a href="#type-t.False" class="anchor"></a><code><span>| </span><span><span class="constructor">False</span></span></code></li><li id="type-t.True" class="def variant constructor anchored"><a href="#type-t.True" class="anchor"></a><code><span>| </span><span><span class="constructor">True</span></span></code></li><li id="type-t.Top" class="def variant constructor anchored">