2548def appendSpineArgument =
2549 (lambda unrestricted spine : (family TermApplicationSpine) .
2550 (lambda unrestricted argument : (family Term) .
2551 (eliminate
2552 TermApplicationSpine
2553 (lambda unrestricted value : (family TermApplicationSpine) . (family TermApplicationSpine))
2554 spine
2555 (branch
2556 TermApplicationSpineValue
2557 head
2558 arguments
2559 .
2560 (constructor
2561 TermApplicationSpine
2562 TermApplicationSpineValue
2563 head
2564 (appendTermListOne arguments argument))))))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.