407def checkpointLogicalSchemaBytes =
408 (lambda unrestricted regions : (family StdList (family CheckpointLogicalRegion)) .
409 (bytes-builder-build
410 (bytes-builder-append
411 (bytes-builder-chunk b"ALPHA-LOGICAL-CHECKPOINT-1\x00")
412 (bytes-builder-append
413 (bytes-builder-chunk
414 (checkpointEnvelopeWord (stdListLength (family CheckpointLogicalRegion) regions)))
415 (stdListFold
416 (family CheckpointLogicalRegion)
417 BytesBuilder
418 (lambda unrestricted region : (family CheckpointLogicalRegion) .
419 (lambda unrestricted rest : BytesBuilder .
420 (bytes-builder-append (checkpointRegionEncoding region) rest)))
421 (bytes-builder-empty)
422 regions)))))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.