Library
▹
Essentials
▹
Boolean values
Bool
⊤
⊥
true/false
Bool
= {⊤, ⊥}
|
Bool
| =
2
¬
b
∧
∨