812def planNumericalCombineAndReplicate =
813 (lambda erased payload : Type 0 .
814 (lambda unrestricted required : (family NumericalContract) .
815 (lambda unrestricted realized : (family NumericalContract) .
816 (lambda unrestricted participants : Nat .
817 (lambda unrestricted members : (family CombineCoverage) .
818 (lambda unrestricted anchor : (family RegionTransferIdentity) .
819 (lambda unrestricted binding : (pi unrestricted stage : (family CombineStage) . (pi unrestricted source : (family CombineReference) . (pi unrestricted destination : (family CombineReference) . (pi unrestricted identity : (family RegionTransferIdentity) . payload)))) .
820 (lambda unrestricted local : (pi unrestricted role : Nat . (pi unrestricted operation : (family OrderedCombineOperation payload) . Nat)) .
821 (lambda unrestricted transfer : (pi unrestricted identity : (family RegionTransferIdentity) . (pi unrestricted value : payload . Nat)) .
822 (planNumericalCombineAndDeliver
823 payload
824 required
825 realized
826 participants
827 members
828 anchor
829 binding
830 local
831 transfer
832 (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.