module</span> <a href="Tree/index.html">Tree</a></span><span> : <a href="../../../../../Utils/Tree/module-type-S/index.html">Utils.Tree.S</a> <span class="keyword">with</span> <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="#type-label