| λ x0 : ι → ο . λ x1 : ι → ι → ι → ο . λ x2 : ι → ι . λ x3 : ι → ι → ι → ι → ι → ι . ∀ x4 x5 x6 x7 x8 . x0 x4 ⟶ x0 x5 ⟶ x0 x6 ⟶ x1 x4 x5 x7 ⟶ x1 x5 x6 x8 ⟶ x1 x4 x6 (x3 x4 x5 x6 x8 x7) |
|
| type |
|---|
| (ι → ο) → (ι → ι → ι → ο) → (ι → ι) → (ι → ι → ι → ι → ι → ι) → ο |
|
|
|
|
|
|
|
|
|