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 114–130

nativeCheckpointFullPadding

Full file
114def nativeCheckpointFullPadding =
115  (lambda unrestricted layout : (family NativeCheckpointLayout) .
116    (eliminate
117      NativeCheckpointLayout
118      (lambda unrestricted current : (family NativeCheckpointLayout) . Bytes)
119      layout
120      (branch
121        NativeCheckpointLayoutOf
122        contract
123        base
124        updates
125        invocations
126        fullPadding
127        tailPadding
128        header
129        .
130        fullPadding)))

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.