AlphaGitHub
Source/Packages

NativeCombineDeliveryLaws

packages/execution/tests/NativeCombineDeliveryLaws.alpha

93 lines17 declarations3.1 KiBSHA-256 536ce11849da
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 33–39

payloads

Full file
33def payloads =
34  (lambda unrestricted delivery : (family CombineDelivery) .
35    (lambda unrestricted role : Nat .
36      (lambda unrestricted tree : (family OrderedCombineTree) .
37        (stdListLength
38          (family RegionTransferIdentity)
39          (nativeCombinePayloads (nativeCombineDeliveringContextFor anchor delivery role tree))))))

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.