73def lowerClosedNaturalProgram =
74 (lambda unrestricted value : (family ClosedNatural) .
75 (app
76 (eliminate
77 ClosedNatural
78 (lambda unrestricted term : (family ClosedNatural) .
79 (pi unrestricted tail : (family X86Program codegenExitArgumentState codegenExitState x86OneSystemCall) .
80 (family X86Program codegenInitialState codegenExitState x86OneSystemCall)))
81 value
82 (branch
83 ClosedZero
84 .
85 (lambda unrestricted tail : (family X86Program codegenExitArgumentState codegenExitState x86OneSystemCall) .
86 (constructor
87 X86Program
88 X86ProgramPureNext
89 codegenInitialState
90 codegenExitArgumentState
91 codegenExitState
92 x86OneSystemCall
93 (constructor
94 X86Instruction
95 X86ZeroEDI32
96 x86UndefinedClass
97 x86UndefinedClass
98 x86UndefinedClass
99 x86UndefinedClass)
100 tail)))
101 (branch
102 ClosedSuccessor
103 closedPredecessor
104 ih_closedPredecessor
105 .
106 (lambda unrestricted tail : (family X86Program codegenExitArgumentState codegenExitState x86OneSystemCall) .
107 (ih_closedPredecessor
108 (constructor
109 X86Program
110 X86ProgramPureNext
111 codegenExitArgumentState
112 codegenExitArgumentState
113 codegenExitState
114 x86OneSystemCall
115 (constructor
116 X86Instruction
117 X86IncrementRDI64
118 x86UndefinedClass
119 x86UndefinedClass
120 x86UndefinedClass)
121 tail)))))
122 codegenExitTail))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.