201def lowerBytesProgram =
202 (lambda unrestricted value : Bytes .
203 (constructor
204 X86Program
205 X86ProgramPureNext
206 codegenInitialState
207 codegenStdoutRAXState
208 codegenStdoutReadyState
209 codegenTwoSystemCalls
210 (constructor
211 X86Instruction
212 X86MoveEAXImmediate32
213 x86UndefinedClass
214 x86UndefinedClass
215 x86UndefinedClass
216 x86UndefinedClass
217 (x86Immediate32 (byte 1)))
218 (constructor
219 X86Program
220 X86ProgramPureNext
221 codegenStdoutRAXState
222 codegenStdoutRDIState
223 codegenStdoutReadyState
224 codegenTwoSystemCalls
225 (constructor
226 X86Instruction
227 X86MoveEDIImmediate32
228 x86Word64Class
229 x86UndefinedClass
230 x86UndefinedClass
231 x86UndefinedClass
232 (x86Immediate32 (byte 1)))
233 (constructor
234 X86Program
235 X86ProgramPureNext
236 codegenStdoutRDIState
237 codegenStdoutRSIState
238 codegenStdoutReadyState
239 codegenTwoSystemCalls
240 (constructor
241 X86Instruction
242 X86LoadRSIRIPRelative
243 x86Word64Class
244 x86Word64Class
245 x86UndefinedClass
246 x86UndefinedClass
247 (x86Immediate32 (byte 16)))
248 (constructor
249 X86Program
250 X86ProgramPureNext
251 codegenStdoutRSIState
252 codegenStdoutReadyState
253 codegenStdoutReadyState
254 codegenTwoSystemCalls
255 (constructor
256 X86Instruction
257 X86MoveEDXImmediate32
258 x86Word64Class
259 x86Word64Class
260 x86AddressClass
261 x86UndefinedClass
262 (x86Immediate32 (nat-to-byte (bytes-length value))))
263 (constructor
264 X86Program
265 X86ProgramSystemCallNext
266 codegenStdoutReadyState
267 codegenStdoutReadyState
268 codegenStdoutReadyState
269 x86OneSystemCall
270 (constructor
271 X86Instruction
272 X86SystemCall
273 x86Word64Class
274 x86AddressClass
275 x86Word64Class)
276 (constructor
277 X86Program
278 X86ProgramPureNext
279 codegenStdoutReadyState
280 codegenStdoutReadyState
281 codegenStdoutReadyState
282 x86OneSystemCall
283 (constructor
284 X86Instruction
285 X86ZeroEDI32
286 x86Word64Class
287 x86Word64Class
288 x86AddressClass
289 x86Word64Class)
290 (constructor
291 X86Program
292 X86ProgramPureNext
293 codegenStdoutReadyState
294 codegenStdoutReadyState
295 codegenStdoutReadyState
296 x86OneSystemCall
297 (constructor
298 X86Instruction
299 X86MoveEAXImmediate32
300 x86Word64Class
301 x86Word64Class
302 x86AddressClass
303 x86Word64Class
304 (x86Immediate32 (byte 60)))
305 (constructor
306 X86Program
307 X86ProgramSystemCallNext
308 codegenStdoutReadyState
309 codegenStdoutReadyState
310 codegenStdoutReadyState
311 x86NoEffects
312 (constructor
313 X86Instruction
314 X86SystemCall
315 x86Word64Class
316 x86AddressClass
317 x86Word64Class)
318 (constructor X86Program X86ProgramEnd codegenStdoutReadyState))))))))))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.