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