="anchored"><td class="def type"><a href="#type-t.Global.t" class="anchor"></a><code><span class="keyword">| </span></code><code><a href="../../Global#type-t">Global.t</a></code></td></tr><tr id="type-t.value" class="anchored"><td class="def type"><a href="#type-t.value" class="anchor"></a><code><span class="keyword">| </span></code><code><a href="#type-value">value</a></code></td></tr></table><code> ]</code></dt></dl><dl><dt class="spec value" id="val-show"><a href="#val-show" class="anchor"></a><code><spa