Source/Packages

Runtime.NativeIndependentState

packages/execution/src/Runtime/NativeIndependentState.alpha

952 lines54 declarations43.0 KiBSHA-256 d7122b5ffb6d

def · lines 67–81

niCommitted

Full file
67def niCommitted =
68  (lambda unrestricted layout : (family NativeIndependentLayout) .
69    (eliminate
70      NativeIndependentLayout
71      (lambda unrestricted current : (family NativeIndependentLayout) . (family RegionFrameLayout))
72      layout
73      (branch
74        NativeIndependentLayoutOf
75        capture
76        committed
77        checkpoint
78        scratchWords
79        digest
80        .
81        committed)))

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.