AlphaGitHub
Source/Packages

Runtime.NativePhysicalMemory

packages/execution/src/Runtime/NativePhysicalMemory.alpha

218 lines26 declarations7.7 KiBSHA-256 6a163a3c0b5c
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 143–149

nativePhysicalMemoryBytes

Full file
143def nativePhysicalMemoryBytes =
144  (lambda unrestricted layout : (family NativePhysicalMemoryLayout) .
145    (eliminate
146      NativePhysicalMemoryLayout
147      (lambda unrestricted current : (family NativePhysicalMemoryLayout) . Nat)
148      layout
149      (branch NativePhysicalMemoryLayoutOf state slots scratch bytes . bytes)))

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.