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