| λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ι . λ x3 : ι → ι → ι → ι . λ x4 : ι → ι → ι → ι → ι . λ x5 : ι → ι → ι → ι → ι → ι . λ x6 : ι → ι → ι → ι → ι → ι → ο . λ x7 : ι → ι → ι → ι → ι → ι → ι . prim3 (94f9e.. x0 (λ x8 . 2aab0.. (x1 x8) (x2 x8) (x3 x8) (x4 x8) (x5 x8) (x6 x8) (x7 x8))) |
|