28def scaledUpdate64Next =
29 (lambda unrestricted operation : (family SM86Float64Operation) .
30 (lambda unrestricted destination : (family SM86RegisterPair) .
31 (lambda unrestricted left : (family SM86RegisterPair) .
32 (lambda unrestricted right : (family SM86RegisterPair) .
33 (lambda unrestricted tail : (family SM86Program) .
34 (constructor
35 SM86Program
36 SM86ProgramNext
37 (sm86Instruction
38 (constructor
39 SM86InstructionBody
40 SM86Float64Binary
41 operation
42 destination
43 left
44 right
45 scaledUpdate64Control))
46 tail))))))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.