359def finishStructuralStack =
360 (lambda unrestricted forest : (family Syntax) .
361 (lambda unrestricted stack : (family SyntaxStack) .
362 (eliminate
363 SyntaxStack
364 (lambda unrestricted value : (family SyntaxStack) . (family StructuralParseResult))
365 stack
366 (branch SyntaxStackEnd . (finishStructuralForest forest))
367 (branch
368 SyntaxStackFrame
369 parentForest
370 outerStack
371 ih_outerStack
372 .
373 (constructor
374 StructuralParseResult
375 StructuralParseFailed
376 (succ (succ zero))
377 (constructor SyntaxOrigin SyntaxOriginUnknown))))))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.