626def nativeCombineTransferAdmitted =
627 (lambda unrestricted placement : (family NativeCombinePlacement) .
628 (lambda unrestricted identity : (family RegionTransferIdentity) .
629 (lambda unrestricted value : (family RegionTransferIdentity) .
630 (let unrestricted sender =
631 (nativeCombineForPlacementRole placement (regionTransferSender identity))
632 in
633 (let unrestricted receiver =
634 (nativeCombineForPlacementRole placement (regionTransferReceiver identity))
635 in
636 (naturalAnd
637 (regionTransferIdentityEqual identity value)
638 (naturalAnd
639 (naturalLess
640 (nativeCombineFrameIndex sender identity)
641 (nativeCombineFrameCount sender))
642 (naturalAnd
643 (naturalLess
644 (nativeCombineFrameIndex receiver identity)
645 (nativeCombineFrameCount receiver))
646 (naturalAnd
647 (nativeProtocolFrameAdmitted identity (nativeCombineFrame sender identity))
648 (nativeProtocolFrameAdmitted identity (nativeCombineFrame receiver identity)))))))))))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.