ars:<span><a href="#type-var_desc">var_desc</a> list</span> <span class="arrow">&#45;&gt;</span></span>
  <span>states:<span><span>(<a href="#type-state">state</a> * <a href="Valuation/index.html#type-t">Valuation.t</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span>
  <span>istate:<span>(<span><a href="Transition/Action/index.html#type-t">Transition.Action.t</a> list</span> * <a href="#type-state">state</a>)</span> <span class="arrow">&#45;&gt;</span></span>
  <span>trans:<span><span>(<a hr