AlphaGitHub
Source/Packages

Runtime.NativePhysicalImage

packages/execution/src/Runtime/NativePhysicalImage.alpha

1,752 lines134 declarations75.3 KiBSHA-256 b192ff97eba3
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 368–384

nativePhysicalImageSystemCallOperandBytes

Full file
368def nativePhysicalImageSystemCallOperandBytes =
369  (lambda unrestricted number : (family NativePhysicalOperand) .
370    (lambda unrestricted arguments : (family NativePhysicalArguments) .
371      (eliminate
372        NativePhysicalArguments
373        (lambda unrestricted current : (family NativePhysicalArguments) . Bytes)
374        arguments
375        (branch
376          NativePhysicalArgumentsValue
377          arg0
378          arg1
379          arg2
380          arg3
381          arg4
382          arg5
383          .
384          (nativePhysicalImageSevenOperandBytes number arg0 arg1 arg2 arg3 arg4 arg5)))))

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.