464def checkpointLogicalRegionsFromFields =
465 (lambda unrestricted fields : (family CheckpointFields) .
466 (eliminate
467 CheckpointFields
468 (lambda unrestricted current : (family CheckpointFields) .
469 (family StdList (family CheckpointLogicalRegion)))
470 fields
471 (branch
472 CheckpointFieldsEnd
473 .
474 (constructor StdList StdListEmpty (family CheckpointLogicalRegion)))
475 (branch
476 CheckpointFieldsNext
477 head
478 tail
479 induction
480 .
481 (constructor
482 StdList
483 StdListCons
484 (family CheckpointLogicalRegion)
485 (checkpointLogicalRegionFromField head)
486 induction))))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.