180def app4 :
181 (pi unrestricted function : (family Term) .
182 (pi unrestricted first : (family Term) .
183 (pi unrestricted second : (family Term) .
184 (pi unrestricted third : (family Term) .
185 (pi unrestricted fourth : (family Term) . (family Term)))))) =
186 (lambda unrestricted function : (family Term) .
187 (lambda unrestricted first : (family Term) .
188 (lambda unrestricted second : (family Term) .
189 (lambda unrestricted third : (family Term) .
190 (lambda unrestricted fourth : (family Term) .
191 (constructor Term Application
192 (constructor Term Application
193 (constructor Term Application
194 (constructor Term Application function first)
195 second)
196 third)
197 fourth))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.