Source/Packages

Compiler.Planning.OrderedCombine

packages/compiler/planning/src/Compiler/Planning/OrderedCombine.alpha

832 lines26 declarations41.4 KiBSHA-256 69f52e43e720

def · lines 366–376

compileTreeReplication

Full file
Replication to every leaf owner.
366def compileTreeReplication =
367  (lambda erased payload : Type 0 .
368    (lambda unrestricted anchor : (family RegionTransferIdentity) .
369      (lambda unrestricted digest : Bytes .
370        (lambda unrestricted binding : (pi unrestricted stage : (family CombineStage) . (pi unrestricted source : (family CombineReference) . (pi unrestricted destination : (family CombineReference) . (pi unrestricted identity : (family RegionTransferIdentity) . payload)))) .
371          (compileTreeDelivery
372            payload
373            anchor
374            digest
375            binding
376            (constructor CombineDelivery CombineReplicateAll))))))

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.