854def parserFinishStripState =
855 (lambda unrestricted offset : Nat .
856 (lambda unrestricted stripState : Nat .
857 (nat-eliminate
858 (lambda unrestricted stateZero : Nat . (family StreamingStructuralState))
859 parserInitialStreamingState
860 (lambda unrestricted stateOne : Nat .
861 (lambda unrestricted inductionOne : (family StreamingStructuralState) .
862 (nat-eliminate
863 (lambda unrestricted innerOne : Nat . (family StreamingStructuralState))
864 parserInitialStreamingState
865 (lambda unrestricted stateTwo : Nat .
866 (lambda unrestricted inductionTwo : (family StreamingStructuralState) .
867 (nat-eliminate
868 (lambda unrestricted innerTwo : Nat . (family StreamingStructuralState))
869 (parserPrependLocatedByte
870 (Std.Natural/naturalPredecessor offset)
871 parserCommentDashByte
872 parserInitialStreamingState)
873 (lambda unrestricted stateThree : Nat .
874 (lambda unrestricted inductionThree : (family StreamingStructuralState) .
875 parserInitialStreamingState))
876 stateTwo)))
877 stateOne)))
878 stripState)))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.