AlphaGitHub
Source/Packages

Checkpoint.NativeEnvelope

packages/execution/persistence/src/Checkpoint/NativeEnvelope.alpha

810 lines50 declarations33.7 KiBSHA-256 de7bf6c0b7f3
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 78–94

nativeCheckpointUpdatesOffset

Full file
78def nativeCheckpointUpdatesOffset =
79  (lambda unrestricted layout : (family NativeCheckpointLayout) .
80    (eliminate
81      NativeCheckpointLayout
82      (lambda unrestricted current : (family NativeCheckpointLayout) . Nat)
83      layout
84      (branch
85        NativeCheckpointLayoutOf
86        contract
87        base
88        updates
89        invocations
90        fullPadding
91        tailPadding
92        header
93        .
94        updates)))

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.