AlphaGitHub
Source/Packages

Checkpoint.Envelope

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

280 lines55 declarations15.0 KiBSHA-256 3098c6153ea6
Download exact fileView at revision3c600751929f56cd01

def · lines 133–141

checkpointEnvelopeHeaderBytes

Full file
133def checkpointEnvelopeHeaderBytes =
134  (lambda unrestricted contract : (family CheckpointEnvelopeContract) .
135    (naturalMultiply
136      (naturalDivideUnchecked
137        (naturalAdd
138          (naturalAdd checkpointEnvelopeDigestsAt (naturalMultiply checkpointEnvelopeDigestBytes (checkpointEnvelopeChunkCount contract)))
139          (naturalSaturatingSubtract checkpointEnvelopePageBytes 1))
140        checkpointEnvelopePageBytes)
141      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.