107def prependAtomByte =
108 (lambda unrestricted byte : Byte .
109 (lambda unrestricted stream : (family TokenStream) .
110 (eliminate
111 TokenStream
112 (lambda unrestricted value : (family TokenStream) . (family TokenStream))
113 stream
114 (branch
115 TokenEnd
116 .
117 (constructor
118 TokenStream
119 TokenNext
120 (constructor LexToken TokenAtom (bytes-cons byte b""))
121 (constructor TokenStream TokenEnd)))
122 (branch
123 TokenNext
124 nextToken
125 tokenRest
126 ih_tokenRest
127 .
128 (eliminate
129 LexToken
130 (lambda unrestricted value : (family LexToken) . (family TokenStream))
131 nextToken
132 (branch
133 TokenOpen
134 .
135 (constructor
136 TokenStream
137 TokenNext
138 (constructor LexToken TokenAtom (bytes-cons byte b""))
139 (constructor TokenStream TokenNext nextToken tokenRest)))
140 (branch
141 TokenClose
142 .
143 (constructor
144 TokenStream
145 TokenNext
146 (constructor LexToken TokenAtom (bytes-cons byte b""))
147 (constructor TokenStream TokenNext nextToken tokenRest)))
148 (branch
149 TokenBoundary
150 .
151 (constructor
152 TokenStream
153 TokenNext
154 (constructor LexToken TokenAtom (bytes-cons byte b""))
155 (constructor TokenStream TokenNext nextToken tokenRest)))
156 (branch
157 TokenAtom
158 atomSpelling
159 .
160 (constructor
161 TokenStream
162 TokenNext
163 (constructor LexToken TokenAtom (bytes-cons byte atomSpelling))
164 tokenRest)))))))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.