204def nativeRegionPartitionBytes =
205 (lambda unrestricted parts : (family StdList (family CheckpointRegionPartition)) .
206 (bytes-builder-build
207 (stdListFold
208 (family CheckpointRegionPartition)
209 BytesBuilder
210 (lambda unrestricted part : (family CheckpointRegionPartition) .
211 (lambda unrestricted rest : BytesBuilder .
212 (bytes-builder-append
213 (bytes-builder-append
214 (bytes-builder-chunk (checkpointEnvelopeWord (checkpointPartitionOrdinal part)))
215 (bytes-builder-append
216 (bytes-builder-chunk
217 (checkpointEnvelopeWord
218 (stdListLength (family LogicalInterval) (checkpointPartitionIntervals part))))
219 (stdListFold
220 (family LogicalInterval)
221 BytesBuilder
222 (lambda unrestricted interval : (family LogicalInterval) .
223 (lambda unrestricted more : BytesBuilder .
224 (bytes-builder-append
225 (bytes-builder-chunk
226 (nativeRegionDescriptor (checkpointPartitionOrdinal part) interval))
227 more)))
228 (bytes-builder-empty)
229 (checkpointPartitionIntervals part))))
230 rest)))
231 (bytes-builder-empty)
232 parts)))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.