de"><a href="#type-node" class="anchor"></a><code><span><span class="keyword">type</span> node</span><span> = <a href="TraceDomain/index.html#type-t">TraceDomain.t</a> * <a href="#type-tree">tree</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-tree"><a href="#type-tree" class="anchor"></a><code><span><span class="keyword">and</span> tree</span><span> = </span></code><ol><li id="type-tree.Subtree" class="def variant constructor anchored"><a href="#type-tree.Subtre