mb
hybrid
Sections
GenAutomata
Doc
Def
Case(value) body == body(value,value)
is mentioned
In prior sections:
mb
basic
mb
tree
mb
automata
1
Try larger context:
GenAutomata
mb
hybrid
Sections
GenAutomata
Doc