The star's chain at owner 0 over four owners. With replication owner 0
receives three leaves and sends three results; delivered to owner 2 it
sends one.
50def chainHubReplicates : (equal Nat (payloads everyone 0 (nativeCombineChain 0 4)) 6) =
51 (refl Nat 6)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.