| λ x0 : ι → ο . λ x1 : (ι → ο) → ο . λ x2 : (ι → ι → ο) → ο . λ x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 . λ x17 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . λ x18 x19 x20 : ι → ι → ι . λ x21 x22 x23 . x20 (x19 (x19 x23 x21) x22) (x19 x21 x22) |
|
| type |
|---|
| (ι → ο) → ((ι → ο) → ο) → ((ι → ι → ο) → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → (ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι) → (ι → ι → ι) → (ι → ι → ι) → (ι → ι → ι) → ι → ι → ι → ι |
|
|
|
|
|
|
|
|
|