(R(i)) }
R:(Id
). |R| 
Type
Typeb == if b
True else False fib:. b Prop
PA:Prop. Dec(A) PropA == A 
FalseA:Prop. (A) Prop| Some definitions of interest. | |
| rset | (R(i)) } |
| R:(Id). |R| Type | |
| Id | |
| Type | |
| assert | b == if b True else False fi |
| b:. b Prop | |
| decidable | P |
| A:Prop. Dec(A) Prop | |
| not | A == A False |
| A:Prop. (A) Prop |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |  |  |  |