254def x86NativeImmediate8Bytes : (pi unrestricted immediate : (family X86NativeImmediate8) . Bytes) =
255 (lambda unrestricted immediate : (family X86NativeImmediate8) .
256 (eliminate
257 X86NativeImmediate8
258 (lambda unrestricted value : (family X86NativeImmediate8) . Bytes)
259 immediate
260 (branch X86NativeImmediate8Value byte0 . (bytes byte0))))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.