list
3
autom
Sections
AutomataTheory
Doc
Def
b == if b
false
else true
fi
In prior sections:
bool
1
b == if b
false else true fi