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 172–188

nativeCheckpointHeader

Full file
172def nativeCheckpointHeader =
173  (lambda unrestricted layout : (family NativeCheckpointLayout) .
174    (eliminate
175      NativeCheckpointLayout
176      (lambda unrestricted current : (family NativeCheckpointLayout) . Bytes)
177      layout
178      (branch
179        NativeCheckpointLayoutOf
180        contract
181        base
182        updates
183        invocations
184        fullPadding
185        tailPadding
186        header
187        .
188        header)))

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.