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