| λ x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 . ap (ap (lam 4 (λ x17 . If_i (x17 = 0) (lam 4 (λ x18 . If_i (x18 = 0) x0 (If_i (x18 = 1) x1 (If_i (x18 = 2) x2 x3)))) (If_i (x17 = 1) (lam 4 (λ x18 . If_i (x18 = 0) x4 (If_i (x18 = 1) x5 (If_i (x18 = 2) x6 x7)))) (If_i (x17 = 2) (lam 4 (λ x18 . If_i (x18 = 0) x8 (If_i (x18 = 1) x9 (If_i (x18 = 2) x10 x11)))) (lam 4 (λ x18 . If_i (x18 = 0) x12 (If_i (x18 = 1) x13 (If_i (x18 = 2) x14 x15)))))))) x16) |
|
| type |
|---|
| ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι |
|
|
|
|
|
|
|
|
|