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