choice
1
Sections
AutomataTheory
Doc
Def
p
q == if p
q else false
fi
In prior sections:
bool
1
q == if p
q else false fi