an class="keyword">with</span> <span><span class="keyword">type</span> <a href="../../Ltsa/module-type-T/index.html#type-state">state</a> = <a href="#type-state">state</a></span>
     <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../../Ltsa/module-type-T/index.html#type-label">label</a> = <a href="Transition/index.html#type-t">Transition.t</a></span>
     <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../../Ltsa/module-type-T/index.html#