Adapt the maintained field schema without its storage or stream offsets.
Field kind/name, element count, domain and initialization remain semantic.
These regions use byte coordinates; a native consumer must reconstruct and
validate its declared representation before exposing a partial typed value.
432def checkpointLogicalRegionFromField =
433 (lambda unrestricted field : (family CheckpointField) .
434 (eliminate
435 CheckpointField
436 (lambda unrestricted current : (family CheckpointField) . (family CheckpointLogicalRegion))
437 field
438 (branch
439 CheckpointFieldValue
440 kind
441 name
442 storage
443 stream
444 extent
445 elements
446 domain
447 initialization
448 .
449 (constructor
450 CheckpointLogicalRegion
451 CheckpointLogicalRegionOf
452 (bytes-builder-build
453 (bytes-builder-append
454 (checkpointManifestSized (checkpointFieldKindName kind))
455 (checkpointManifestSized name)))
456 (bytes-builder-build
457 (bytes-builder-append
458 (checkpointManifestSized domain)
459 (bytes-builder-append
460 (bytes-builder-chunk (checkpointEnvelopeWord (modelWord64Natural elements)))
461 (checkpointManifestSized initialization))))
462 (modelWord64Natural extent)))))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.