19def codegenInitialState : (family X86MachineState) =
20 (constructor
21 X86MachineState
22 X86MachineStateValue
23 x86UndefinedClass
24 x86UndefinedClass
25 x86UndefinedClass
26 x86UndefinedClass)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.