AlphaGitHub
Source/Packages

Runtime.NativeLaunchRecipeLoad

packages/execution/src/Runtime/NativeLaunchRecipeLoad.alpha

228 lines16 declarations11.9 KiBSHA-256 b9d848b14a5f
Download exact fileView at revisionf5034773ad4bb52133

def · lines 35–41

nativeLaunchRecipeArguments

Full file
35def nativeLaunchRecipeArguments =
36  (lambda unrestricted a0 : (family NativePhysicalOperand) .
37    (lambda unrestricted a1 : (family NativePhysicalOperand) .
38      (lambda unrestricted a2 : (family NativePhysicalOperand) .
39        (lambda unrestricted a3 : (family NativePhysicalOperand) .
40          (constructor NativePhysicalArguments NativePhysicalArgumentsValue
41            a0 a1 a2 a3 (nativeLaunchRecipeImmediate 0) (nativeLaunchRecipeImmediate 0))))))

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.