ef="#type-state">state</a> * <a href="Transition/index.html#type-t">Transition.t</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 ivs ovs lvs qs q0 ts</code> builds an FSM structure from</p><ul><li>a list of input, output and local variables (each being described by a name and a domain)</li><li>a list of input and output identifiers</li><li>a list <code>qs</code> of states,