AlphaGitHub
Source/Packages

Runtime.NativePhysicalTrainingRoutine

packages/execution/src/Runtime/NativePhysicalTrainingRoutine.alpha

829 lines56 declarations42.7 KiBSHA-256 85591762f113
Download exact fileView at revisionf5034773ad4bb52133

def · lines 53–61

nativePhysicalTrainingImmediate64FromWord

Full file
53def nativePhysicalTrainingImmediate64FromWord =
54  (lambda unrestricted value : (family ModelWord64) .
55    (eliminate ModelWord64
56      (lambda unrestricted current : (family ModelWord64) .
57        (family X86NativeImmediate64))
58      value
59      (branch ModelWord64Value b0 b1 b2 b3 b4 b5 b6 b7 .
60        (constructor X86NativeImmediate64 X86NativeImmediate64Value
61          b0 b1 b2 b3 b4 b5 b6 b7))))

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.