AlphaGitHub
Source/Packages

Compiler.MachineX86NativeOffset

packages/compiler/src/Compiler/MachineX86NativeOffset.alpha

584 lines46 declarations23.5 KiBSHA-256 89175cb5d529
Download exact fileView at revisionf5034773ad4bb52133

def · lines 309–322

x86NativeUnsigned32Bytes

Full file
309def x86NativeUnsigned32Bytes : (pi unrestricted value : (family X86NativeUnsigned32) . Bytes) =
310  (lambda unrestricted value : (family X86NativeUnsigned32) .
311    (eliminate
312      X86NativeUnsigned32
313      (lambda unrestricted current : (family X86NativeUnsigned32) . Bytes)
314      value
315      (branch
316        X86NativeUnsigned32Value
317        byte0
318        byte1
319        byte2
320        byte3
321        .
322        (bytes-cons byte0 (bytes-cons byte1 (bytes-cons byte2 (bytes-cons byte3 b"")))))))

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.