Empty logical regions have an empty shard list. Empty shard records are
refused: they add no ownership, and otherwise permit duplicate empty claims.
227def checkpointNonemptyIntervals =
228 (stdListFold
229 (family LogicalInterval)
230 Nat
231 (lambda unrestricted interval : (family LogicalInterval) .
232 (lambda unrestricted rest : Nat .
233 (naturalAnd (naturalLess (intervalBegin interval) (intervalEnd interval)) rest)))
234 1)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.