72def coordinatePartitions =
73 (stdListMap
74 Nat
75 (family CheckpointRegionPartition)
76 (lambda unrestricted ordinal : Nat .
77 (constructor
78 CheckpointRegionPartition
79 CheckpointRegionPartitionOf
80 ordinal
81 coordinateIntervals))
82 (stdListNaturalsBelow (stdListLength (family CheckpointLogicalRegion) coordinateRegions)))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.