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