 id="type-t0.Unreachable" class="def variant constructor anchored"><a href="#type-t0.Unreachable" class="anchor"></a><code><span>| </span><span><span class="constructor">Unreachable</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Memory of unreachable node</p><span class="comment-delim">*)</span></div></li><li id="type-t0.ExcRaised" class="def variant constructor anchored"><a href="#type-t0.ExcRaised" class="anchor"></a><code><span>| </span><span><span class="constructor">Ex