<span><span class="keyword">type</span> <a href="../../../Utils/Tree/module-type-S/index.html#type-node">node</a> = <a href="#type-state">state</a></span> <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../../../Utils/Tree/module-type-S/index.html#type-edge">edge</a> = <a href="Transition/index.html#type-t">Transition.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-states"><a href="#val-states" class="anchor"></a><code><