Reduction to one owner (CombineDeliverTo): the ordered combine as before,
then the root value moves only along the tree path to the target's leaf.
Laws count the payloads each role exchanges (one frame each).
19def anchor =
20 (constructor
21 RegionTransferIdentity
22 RegionTransferIdentityOf
23 b"delivery-laws"
24 b"run"
25 b"values"
26 b"binary64"
27 (constructor LearningRound LearningRoundOf 1 0)
28 0
29 0
30 0
31 (constructor LogicalInterval LogicalIntervalOf 0 8))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.