59def logicalCheckpointName =
60 (lambda unrestricted value : (family CheckpointLogicalRegion) .
61 (eliminate
62 CheckpointLogicalRegion
63 (lambda unrestricted current : (family CheckpointLogicalRegion) . Bytes)
64 value
65 (branch CheckpointLogicalRegionOf name format extent . name)))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.