 with possible valuations of outputs</li><li>an initial state <code>q0</code> with the list of initial actions</li><li>a list of transitions <code>ts</code>, where each transition is given as <code>(src_state,(conditions,actions),dst_state)</code></li></ul><p>Raises <code>Not_found</code> if any specified condition or action involves identifiers not listed in <code>ivs</code>, <code>ovs</code> or <code>lvs</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href=