AlphaGitHub
Source/Packages

Checkpoint.Envelope

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

287 lines55 declarations15.4 KiBSHA-256 14528ee3a079
Download exact fileView at revision426597bda5753d86c4

def · lines 140–148

checkpointEnvelopeHeaderBytes

Full file
140def checkpointEnvelopeHeaderBytes =
141  (lambda unrestricted contract : (family CheckpointEnvelopeContract) .
142    (naturalMultiply
143      (naturalDivideUnchecked
144        (naturalAdd
145          (naturalAdd checkpointEnvelopeDigestsAt (naturalMultiply checkpointEnvelopeDigestBytes (checkpointEnvelopeChunkCount contract)))
146          (naturalSaturatingSubtract checkpointEnvelopePageBytes 1))
147        checkpointEnvelopePageBytes)
148      checkpointEnvelopePageBytes))

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.