AlphaGitHub
Source/Packages

Compiler.Planning.OrderedCombine

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

832 lines26 declarations41.4 KiBSHA-256 69f52e43e720
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 40–48

combineDeliveryReaches

Full file
Whether `subtree` receives the value under `delivery`.
40def combineDeliveryReaches =
41  (lambda unrestricted delivery : (family CombineDelivery) .
42    (lambda unrestricted subtree : (family OrderedCombineTree) .
43      (eliminate
44        CombineDelivery
45        (lambda unrestricted current : (family CombineDelivery) . Nat)
46        delivery
47        (branch CombineReplicateAll . 1)
48        (branch CombineDeliverTo target . (combineContains target (combineLeaves subtree))))))

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.