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