mb declaration Sections GenAutomata Doc

Def x:y(a) == if a = x y else Top fi

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb declaration Sections GenAutomata Doc