mb
label
Sections
GenAutomata
Doc
Def
p
q == if p
q else false
fi
is mentioned
In prior sections:
bool
1
mb
list
1
mb
basic
Try larger context:
GenAutomata
mb
label
Sections
GenAutomata
Doc
q == if p
q else false fi