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