mb declaration Sections GenAutomata Doc

Def Default = > body(value,value) == body

is mentioned

In prior sections: mb basic

Try larger context: GenAutomata

mb declaration Sections GenAutomata Doc