mb record Sections GenAutomata Doc

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

is mentioned

In prior sections: mb basic

Try larger context: GenAutomata

mb record Sections GenAutomata Doc