60def nativeCheckpointBase =
61 (lambda unrestricted layout : (family NativeCheckpointLayout) .
62 (eliminate
63 NativeCheckpointLayout
64 (lambda unrestricted current : (family NativeCheckpointLayout) . Nat)
65 layout
66 (branch
67 NativeCheckpointLayoutOf
68 contract
69 base
70 updates
71 invocations
72 fullPadding
73 tailPadding
74 header
75 .
76 base)))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.