100family X86Program : Type 0
101index erased x86ProgramInput : (family X86MachineState)
102index erased x86ProgramOutput : (family X86MachineState)
103index erased x86ProgramEffects : (family X86EffectTrace)
104constructor X86ProgramEnd
105field erased x86ProgramEndState : (family X86MachineState)
106result x86ProgramEndState
107result x86ProgramEndState
108result (constructor X86EffectTrace X86NoEffects)
109constructor X86ProgramPureNext
110field erased x86ProgramStartState : (family X86MachineState)
111field erased x86ProgramMiddleState : (family X86MachineState)
112field erased x86ProgramFinishState : (family X86MachineState)
113field erased x86ProgramTailEffects : (family X86EffectTrace)
114field unrestricted x86ProgramHead : (family X86Instruction x86ProgramStartState x86ProgramMiddleState (constructor X86EffectTrace X86NoEffects))
115recursive unrestricted x86ProgramTail
116recursive-index x86ProgramMiddleState
117recursive-index x86ProgramFinishState
118recursive-index x86ProgramTailEffects
119result x86ProgramStartState
120result x86ProgramFinishState
121result x86ProgramTailEffects
122constructor X86ProgramSystemCallNext
123field erased x86SystemCallProgramStartState : (family X86MachineState)
124field erased x86SystemCallProgramMiddleState : (family X86MachineState)
125field erased x86SystemCallProgramFinishState : (family X86MachineState)
126field erased x86SystemCallProgramTailEffects : (family X86EffectTrace)
127field unrestricted x86SystemCallProgramHead : (family X86Instruction x86SystemCallProgramStartState x86SystemCallProgramMiddleState (constructor X86EffectTrace X86SystemCallEffect (constructor X86EffectTrace X86NoEffects)))
128recursive unrestricted x86SystemCallProgramTail
129recursive-index x86SystemCallProgramMiddleState
130recursive-index x86SystemCallProgramFinishState
131recursive-index x86SystemCallProgramTailEffects
132result x86SystemCallProgramStartState
133result x86SystemCallProgramFinishState
134result (constructor X86EffectTrace X86SystemCallEffect x86SystemCallProgramTailEffects)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.