138def x86Immediate32 =
139 (lambda unrestricted lowByte : Byte .
140 (constructor X86Immediate32 X86Immediate32Value lowByte (byte 0) (byte 0) (byte 0)))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.