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 132–148

nativeCheckpointTailPadding

Full file
132def nativeCheckpointTailPadding =
133  (lambda unrestricted layout : (family NativeCheckpointLayout) .
134    (eliminate
135      NativeCheckpointLayout
136      (lambda unrestricted current : (family NativeCheckpointLayout) . Bytes)
137      layout
138      (branch
139        NativeCheckpointLayoutOf
140        contract
141        base
142        updates
143        invocations
144        fullPadding
145        tailPadding
146        header
147        .
148        tailPadding)))

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.