bool
1
Doc
At:
ifthenelse
wf
1
1
1.
b:
Unit+Unit
2.
A:
Type
3.
p:
A
4.
q:
A
dec(b ; p; q)
A
By:
Analyze 1
THEN
Reduce 0
Generated subgoals:
None
dec(b ; p; q) 
A