5744def parseLexedHead =
5745 (lambda unrestricted stream : (family LexedBytes) .
5746 (eliminate
5747 LexedBytes
5748 (lambda unrestricted value : (family LexedBytes) . (family Term))
5749 stream
5750 (branch LexEnd . (constructor Term Variable b""))
5751 (branch
5752 LexByte
5753 tokenClass
5754 tokenSpelling
5755 lexedRest
5756 ih_lexedRest
5757 .
5758 (eliminate
5759 ByteClass
5760 (lambda unrestricted value : (family ByteClass) . (family Term))
5761 tokenClass
5762 (branch OpenDelimiter . ih_lexedRest)
5763 (branch CloseDelimiter . ih_lexedRest)
5764 (branch Whitespace . ih_lexedRest)
5765 (branch DecimalDigit . (constructor Term NaturalZero))
5766 (branch IdentifierByte . (constructor Term Variable (bytes-cons tokenSpelling b"")))))))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.