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 118–124

niDigest

Full file
118def niDigest =
119  (lambda unrestricted layout : (family NativeIndependentLayout) .
120    (eliminate
121      NativeIndependentLayout
122      (lambda unrestricted current : (family NativeIndependentLayout) . Bytes)
123      layout
124      (branch NativeIndependentLayoutOf capture committed checkpoint scratchWords digest . digest)))

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.