mb
record
Sections
GenAutomata
Doc
Def
kind(a) == 1of(a)
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
record
Sections
GenAutomata
Doc