379def finishStructuralParse =
380 (lambda unrestricted state : (family StructuralParseState) .
381 (eliminate
382 StructuralParseState
383 (lambda unrestricted value : (family StructuralParseState) . (family StructuralParseResult))
384 state
385 (branch
386 StructuralActive
387 currentForest
388 currentStack
389 .
390 (finishStructuralStack currentForest currentStack))
391 (branch
392 StructuralFailed
393 structuralFailureCode
394 .
395 (constructor
396 StructuralParseResult
397 StructuralParseFailed
398 structuralFailureCode
399 (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.