555def nativeCombineInitialize =
556 (lambda unrestricted placement : (family NativeCombinePlacement) .
557 (lambda unrestricted program : (family ParticipantProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
558 (nativeProtocolFrames
559 (family OrderedCombineOperation (family RegionTransferIdentity))
560 (family RegionTransferIdentity)
561 (family ProtocolNoDecision)
562 (lambda unrestricted direction : (family ProtocolDirection) .
563 (lambda unrestricted identity : (family RegionTransferIdentity) .
564 (lambda unrestricted value : (family RegionTransferIdentity) .
565 (nativeFrameInitialize (nativeCombineFrame placement value)))))
566 program)))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.