Elementwise binary64 numerator and mass addition in the combine tree's
order; the tree digest itself enters every transfer identity.
242def dpRelation =
243 (lambda unrestricted topology : (family DataParallelTopology) .
244 (lambda unrestricted owners : Nat .
245 (eliminate
246 DataParallelTopology
247 (lambda unrestricted current : (family DataParallelTopology) . Bytes)
248 topology
249 (branch
250 DataParallelStar
251 .
252 (bytes-append b"data-parallel-left-chain-sum;mass-add;owners=" (regionFrameWord owners)))
253 (branch
254 DataParallelHierarchy
255 fanout
256 .
257 (bytes-append
258 b"data-parallel-hierarchy-sum;mass-add;owners="
259 (bytes-append
260 (regionFrameWord owners)
261 (bytes-append b";fanout=" (regionFrameWord fanout))))))))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.