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 591–604

nativeCheckpointPrepare

Full file
591def nativeCheckpointPrepare =
592  (lambda unrestricted layout : (family NativeCheckpointLayout) .
593    (lambda unrestricted slot : Nat .
594      (lambda unrestricted tail : (family NativePhysicalCommands) .
595        (nativeMemoryCopyPayload
596          (nativeCheckpointBase layout)
597          (nativeCheckpointHeader layout)
598          (nativeCheckpointStore
599            (naturalAdd (nativeCheckpointBase layout) checkpointEnvelopeUpdatesAt)
600            (nativeMemoryLoad (nativeCheckpointUpdatesAt layout))
601            (nativeCheckpointStore
602              (naturalAdd (nativeCheckpointBase layout) checkpointEnvelopeInvocationsAt)
603              (nativeMemoryLoad (nativeCheckpointInvocationsAt layout))
604              (nativeCheckpointDigests layout 1 slot tail)))))))

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.