GenAutomata
Sections
NuprlLIB
Doc
Def
action_effect(a;es;fs) == < e.smt | e
< e
es |
e.kind =
a > > + < mk_smt(f.var, f.var, f.typ) | f
< f
fs |
a
f.acts > >
is mentioned
In prior sections:
mb
automata
3
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
< e es | 
e.kind =
a > > + < mk_smt(f.var, f.var, f.typ) | f < f fs | 
a f.acts > >