mb
automata
2
Sections
GenAutomata
Doc
Def
(a + b)(x) == x
a
x
b
is mentioned by
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 > >
[action_effect]
Def
a +* b == a + b
[vcs_add]
In prior sections:
mb
collection
mb
automata
1
Try larger context:
GenAutomata
mb
automata
2
Sections
GenAutomata
Doc