AlphaGitHub
Source/Packages

Runtime.NativePhysicalImage

packages/execution/src/Runtime/NativePhysicalImage.alpha

1,369 lines111 declarations56.2 KiBSHA-256 a67ed6dd6cbd
Download exact fileView at revisionf5034773ad4bb52133

def · lines 333–349

nativePhysicalImageSystemCallOperandBytes

Full file
333def nativePhysicalImageSystemCallOperandBytes =
334  (lambda unrestricted number : (family NativePhysicalOperand) .
335    (lambda unrestricted arguments : (family NativePhysicalArguments) .
336      (eliminate
337        NativePhysicalArguments
338        (lambda unrestricted current : (family NativePhysicalArguments) . Bytes)
339        arguments
340        (branch
341          NativePhysicalArgumentsValue
342          arg0
343          arg1
344          arg2
345          arg3
346          arg4
347          arg5
348          .
349          (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.