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 83–98

niCheckpoint

Full file
83def niCheckpoint =
84  (lambda unrestricted layout : (family NativeIndependentLayout) .
85    (eliminate
86      NativeIndependentLayout
87      (lambda unrestricted current : (family NativeIndependentLayout) .
88        (family NativeRegionCheckpoint))
89      layout
90      (branch
91        NativeIndependentLayoutOf
92        capture
93        committed
94        checkpoint
95        scratchWords
96        digest
97        .
98        checkpoint)))

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.