mb
structures
Sections
GenAutomata
Doc
Def
Structure == Type
Top
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
structures
Sections
GenAutomata
Doc