nstructor anchored"><a href="#type-t.Bool" class="anchor"></a><code><span>| </span><span><span class="constructor">Bool</span> <span class="keyword">of</span> bool</span></code></li><li id="type-t.Int" class="def variant constructor anchored"><a href="#type-t.Int" class="anchor"></a><code><span>| </span><span><span class="constructor">Int</span> <span class="keyword">of</span> <span class="xref-unresolved">Z</span>.t</span></code></li><li id="type-t.Float" class="def variant constructor anchored"><a href="#