97def nativeCombineGlobal =
98 (lambda unrestricted context : (family NativeCombineContext) .
99 (eliminate
100 NativeCombineContext
101 (lambda unrestricted current : (family NativeCombineContext) .
102 (family
103 GlobalProtocol
104 (family OrderedCombineOperation (family RegionTransferIdentity))
105 (family RegionTransferIdentity)
106 (family ProtocolNoDecision)))
107 context
108 (branch NativeCombineContextOf role tree digest anchor global projected payloads . global)))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.