AlphaGitHub
Source/Packages

Runtime.NativeDataParallelOwned

packages/execution/src/Runtime/NativeDataParallelOwned.alpha

2,874 lines126 declarations142.2 KiBSHA-256 de18258423c4
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 677–695

dpoCompositionOf

Full file
677def dpoCompositionOf =
678  (lambda unrestricted identity : (family RegionTransferIdentity) .
679    (eliminate
680      RegionTransferIdentity
681      (lambda unrestricted current : (family RegionTransferIdentity) . Bytes)
682      identity
683      (branch
684        RegionTransferIdentityOf
685        composition
686        run
687        region
688        representation
689        round
690        operation
691        sender
692        receiver
693        interval
694        .
695        composition)))

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.