argv with h shards (parameters (one per word when partitioned), shared
state when present, then one per coordinate word in byte order): 1
previous manifest, 2..h+1 previous
shards, each shard's candidate and committed file, the candidate and
committed manifest, the directory.
1881def dpoPaths =
1882 (lambda unrestricted c : Nat .
1883 (lambda unrestricted u : Nat .
1884 (lambda unrestricted system : (family DataParallelSystem c u) .
1885 (lambda unrestricted q : Nat .
1886 (lambda unrestricted p : Nat .
1887 (constructor NativeRegionPaths NativeRegionPathsOf 1 (dpoShardCount c u system q p)))))))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.