42family CheckpointPreparedShard : Type 0
43constructor CheckpointPreparedShardOf
44field unrestricted checkpointShardIntervalValue : (family LogicalInterval)
45field unrestricted checkpointShardFormatValue : Bytes
46field unrestricted checkpointShardCaptureValue : (family CheckpointCapture)
47field unrestricted checkpointShardBytesValue : Nat
48field unrestricted checkpointShardDigestValue : BytesThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.