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 63–66

nativePhysicalTrainingImmediate8FromNatural

Full file
63def nativePhysicalTrainingImmediate8FromNatural =
64  (lambda unrestricted value : Nat .
65    (constructor X86NativeImmediate8 X86NativeImmediate8Value
66      (nat-to-byte value)))

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.