633def finishStreamingStructuralState =
634 (lambda unrestricted state : (family StreamingStructuralState) .
635 (eliminate
636 StreamingStructuralState
637 (lambda unrestricted value : (family StreamingStructuralState) .
638 (family StructuralParseResult))
639 (flushStreamingAtom state)
640 (branch
641 StreamingStructuralActive
642 pendingAtom
643 streamingForest
644 streamingStack
645 origin
646 .
647 (finishStructuralParse
648 (constructor StructuralParseState StructuralActive streamingForest streamingStack)))
649 (branch
650 StreamingStructuralFailed
651 streamingFailureCode
652 structuralFailureOrigin
653 recoveryAtom
654 recoveryOrigin
655 .
656 (constructor
657 StructuralParseResult
658 StructuralParseFailed
659 streamingFailureCode
660 structuralFailureOrigin))))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.