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 96–112

nativeCheckpointInvocationsOffset

Full file
96def nativeCheckpointInvocationsOffset =
97  (lambda unrestricted layout : (family NativeCheckpointLayout) .
98    (eliminate
99      NativeCheckpointLayout
100      (lambda unrestricted current : (family NativeCheckpointLayout) . Nat)
101      layout
102      (branch
103        NativeCheckpointLayoutOf
104        contract
105        base
106        updates
107        invocations
108        fullPadding
109        tailPadding
110        header
111        .
112        invocations)))

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.