AlphaGitHub
Source/Packages

Runtime.NativeIndependentState

packages/execution/src/Runtime/NativeIndependentState.alpha

952 lines54 declarations43.0 KiBSHA-256 d7122b5ffb6d
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 440–454

niOutput

Full file
440def niOutput =
441  (lambda unrestricted base : Nat .
442    (lambda unrestricted size : Nat .
443      (lambda unrestricted tail : (family NativePhysicalCommands) .
444        (nativeFileCall
445          1
446          (nativeLaunchRecipeArguments
447            (nativeLaunchRecipeImmediate 1)
448            (nativeMemoryState base)
449            (nativeLaunchRecipeImmediate size)
450            (nativeLaunchRecipeImmediate 0))
451          nativePeerScratchSlot
452          size
453          b"independent-result"
454          tail))))

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.