727def planOrderedCombineAndReplicate =
728 (lambda erased payload : Type 0 .
729 (lambda unrestricted participants : Nat .
730 (lambda unrestricted members : (family CombineCoverage) .
731 (lambda unrestricted baseAnchor : (family RegionTransferIdentity) .
732 (lambda unrestricted binding : (pi unrestricted stage : (family CombineStage) . (pi unrestricted source : (family CombineReference) . (pi unrestricted destination : (family CombineReference) . (pi unrestricted identity : (family RegionTransferIdentity) . payload)))) .
733 (lambda unrestricted local : (pi unrestricted role : Nat . (pi unrestricted operation : (family OrderedCombineOperation payload) . Nat)) .
734 (lambda unrestricted transfer : (pi unrestricted identity : (family RegionTransferIdentity) . (pi unrestricted value : payload . Nat)) .
735 (planOrderedCombineAndDeliver
736 payload
737 participants
738 members
739 baseAnchor
740 binding
741 local
742 transfer
743 (constructor CombineDelivery CombineReplicateAll)))))))))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.