944def parserOutsideSourceByteUnchecked =
945 (lambda unrestricted bytePrefix : Nat .
946 (lambda unrestricted offset : Nat .
947 (lambda unrestricted head : Byte .
948 (lambda unrestricted stripState : Nat .
949 (lambda unrestricted continue : (pi unrestricted quoteState : Nat . (pi unrestricted stripState : Nat . (family StreamingStructuralState))) .
950 (parserChooseStreamingState
951 (parserStripIsComment stripState)
952 (lambda unrestricted force : Nat .
953 (eliminate
954 ParserStripStep
955 (lambda unrestricted value : (family ParserStripStep) .
956 (family StreamingStructuralState))
957 (parserStripByteStep head stripState)
958 (branch
959 ParserStripStepValue
960 emit
961 next
962 .
963 (parserConsumeEmittedBytes (succ offset) emit (continue zero next)))))
964 (lambda unrestricted force : Nat .
965 (parserChooseStreamingState
966 (byte-equal head (byte 34))
967 (lambda unrestricted force : Nat .
968 (parserChooseStreamingState
969 bytePrefix
970 (lambda unrestricted force : Nat .
971 (parserPrependLocatedByte
972 offset
973 head
974 (continue (succ zero) parserStripStateAtom)))
975 (lambda unrestricted force : Nat .
976 (flushStreamingAtom
977 (parserPrependLocatedByte
978 offset
979 head
980 (continue (succ zero) parserStripStateAtom))))))
981 (lambda unrestricted force : Nat .
982 (eliminate
983 ParserStripStep
984 (lambda unrestricted value : (family ParserStripStep) .
985 (family StreamingStructuralState))
986 (parserStripByteStep head stripState)
987 (branch
988 ParserStripStepValue
989 emit
990 next
991 .
992 (parserConsumeEmittedBytes (succ offset) emit (continue zero next)))))))))))))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.