mb
collection
Sections
GenAutomata
Doc
Def
b == if b
false
else true
fi
is mentioned
In prior sections:
bool
1
Try larger context:
GenAutomata
mb
collection
Sections
GenAutomata
Doc
b == if b
false else true fi