The global shard numbers of a role's own shards, in its record order.
257def dpotOwnGlobals =
258 (lambda unrestricted c : Nat .
259 (lambda unrestricted u : Nat .
260 (lambda unrestricted system : (family DataParallelSystem c u) .
261 (lambda unrestricted q : Nat .
262 (lambda unrestricted p : Nat .
263 (lambda unrestricted role : Nat .
264 (stdListFold
265 (family CheckpointRegionPartition)
266 (family StdList Nat)
267 (lambda unrestricted part : (family CheckpointRegionPartition) .
268 (lambda unrestricted rest : (family StdList Nat) .
269 (stdListAppend
270 Nat
271 (stdListMap
272 (family LogicalInterval)
273 Nat
274 (lambda unrestricted interval : (family LogicalInterval) .
275 (dpotGlobalOf
276 c
277 u
278 system
279 q
280 p
281 (checkpointPartitionOrdinal part)
282 (intervalBegin interval)))
283 (checkpointPartitionIntervals part))
284 rest)))
285 (constructor StdList StdListEmpty Nat)
286 (dpotOwnOf c u system q p role))))))))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.