41def nativeCheckpointContract =
42 (lambda unrestricted layout : (family NativeCheckpointLayout) .
43 (eliminate
44 NativeCheckpointLayout
45 (lambda unrestricted current : (family NativeCheckpointLayout) .
46 (family CheckpointEnvelopeContract))
47 layout
48 (branch
49 NativeCheckpointLayoutOf
50 contract
51 base
52 updates
53 invocations
54 fullPadding
55 tailPadding
56 header
57 .
58 contract)))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.