s:<span><span>(<a href="#type-label">label</a> * <a href="#type-state">state</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span>
  <span>trans:<span><span>(<a href="#type-state">state</a> * <a href="#type-label">label</a> * <a href="#type-state">state</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span>
  <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p><code>create qs q0s ts</code> builds a LTSA from</p><ul><li>a list of states identifiers, each with an att