ule</span> <a href="LTSA/index.html">LTSA</a></span><span> : 
  <a href="../../Ltsa/module-type-T/index.html">Ltsa.T</a> <span 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="#type-symbol">symbol</a></span> <span class="keyword">and<