AlphaGitHub
Source/Packages

Runtime.NativeMemoryPlan

packages/execution/src/Runtime/NativeMemoryPlan.alpha

112 lines7 declarations4.3 KiBSHA-256 d7840a7e7f73
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 95–99

nativeMemoryCompareRegions

Full file
95def nativeMemoryCompareRegions =
96  (lambda unrestricted left : Nat .
97    (lambda unrestricted right : Nat .
98      (lambda unrestricted extent : Nat .
99        (nativeMemoryCompareOperands (nativeMemoryState left) (nativeMemoryState right) extent))))

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.