bool
2
jlc
Sections
Support(jlc)
Doc
Def
p
q == if p
q else false
fi
is mentioned
In prior sections:
bool
1
bool
2
jlc
Sections
Support(jlc)
Doc
q == if p
q else false fi