Source/Packages

Runtime.NativeCombine

packages/execution/src/Runtime/NativeCombine.alpha

874 lines55 declarations36.9 KiBSHA-256 10cc50beeee8

def · lines 110–121

nativeCombineProjected

Full file
110def nativeCombineProjected =
111  (lambda unrestricted context : (family NativeCombineContext) .
112    (eliminate
113      NativeCombineContext
114      (lambda unrestricted current : (family NativeCombineContext) .
115        (family
116          ParticipantProtocol
117          (family OrderedCombineOperation (family RegionTransferIdentity))
118          (family RegionTransferIdentity)
119          (family ProtocolNoDecision)))
120      context
121      (branch NativeCombineContextOf role tree digest anchor global projected payloads . projected)))

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.