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 93–106

x86NativeUnsigned32Byte0

Full file
Field projection for `x86NativeUnsigned32Byte0`, generated from the declaration: the family has one constructor, so this is the unique total projection.
93def x86NativeUnsigned32Byte0 =
94  (lambda unrestricted value : (family X86NativeUnsigned32) .
95    (eliminate
96      X86NativeUnsigned32
97      (lambda unrestricted current : (family X86NativeUnsigned32) . Byte)
98      value
99      (branch
100        X86NativeUnsigned32Value
101        x86NativeUnsigned32Byte0
102        x86NativeUnsigned32Byte1
103        x86NativeUnsigned32Byte2
104        x86NativeUnsigned32Byte3
105        .
106        x86NativeUnsigned32Byte0)))

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.