Created:
V| Children |
| log |
| Constants |
|
$⇒
|
BOOL → BOOL → BOOL |
|
$=
|
'a → 'a → BOOL |
|
$ε
|
('a → BOOL) → 'a |
| Types |
|
'1 → '2
BOOL
IND
|
| Fixity |
| Binder: | ε | λ |
Right Infix 20: |
⇒ |
Right Infix 100: |
→ |
Right Infix 200: |
= |
| Terminators |
| → | ⇒ | = | λ | ε |