331def nativeRegionAppendParts =
332 (lambda unrestricted context : (family CheckpointEnvelopeContract) .
333 (lambda unrestricted logical : Bytes .
334 (lambda unrestricted available : Nat .
335 (lambda unrestricted parts : (family StdList (family CheckpointRegionPartition)) .
336 (lambda unrestricted initial : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
337 (stdListFold
338 (family CheckpointRegionPartition)
339 (pi unrestricted previous : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
340 (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)))
341 (lambda unrestricted part : (family CheckpointRegionPartition) .
342 (lambda unrestricted continuation : (pi unrestricted previous : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) . (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint))) .
343 (lambda unrestricted previous : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
344 (continuation
345 (stdListFold
346 (family LogicalInterval)
347 (pi unrestricted prior : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
348 (family
349 StdResult
350 (family NativeCheckpointFailure)
351 (family NativeRegionCheckpoint)))
352 (lambda unrestricted interval : (family LogicalInterval) .
353 (lambda unrestricted next : (pi unrestricted prior : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) . (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint))) .
354 (lambda unrestricted prior : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
355 (next
356 (nativeRegionAppend
357 context
358 logical
359 available
360 (checkpointPartitionOrdinal part)
361 interval
362 prior)))))
363 (lambda unrestricted prior : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
364 prior)
365 (checkpointPartitionIntervals part)
366 previous)))))
367 (lambda unrestricted previous : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
368 previous)
369 parts
370 initial))))))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.