AlphaGitHub
Source/Packages

Runtime.NativeCombine

packages/execution/src/Runtime/NativeCombine.alpha

874 lines55 declarations36.9 KiBSHA-256 10cc50beeee8
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 425–434

nativeCombineCopy

Full file
425def nativeCombineCopy =
426  (lambda unrestricted placement : (family NativeCombinePlacement) .
427    (lambda unrestricted source : Nat .
428      (lambda unrestricted destination : Nat .
429        (nativeMemoryCopyOperands
430          (nativeMemoryState destination)
431          (nativeMemoryState source)
432          (nativeCombineBytes placement)
433          0
434          b"combine-copy"))))

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.