Lines Matching refs:Ps

140 …  using Comp1 = ConsComp(typename Comp::RsSuperset, typename Comp::Ps, typename Comp::NonConstRsPs,
164 …   If(IsInSet(AnnotatedI, typename Comp::Ps), ConstructError(TypeAlreadyBoundErrorTag, AnnotatedI),
689     using new_Ps = SetUncheckedUnion(typename OtherComp::Ps, typename Comp::Ps);
713     using AllPs = SetUncheckedUnion(InterfacePs, typename Comp::Ps);
714     using DuplicateTypes = SetIntersection(typename OtherComp::Ps, AllPs);
715     using CompConstPs = SetDifference(typename Comp::Ps, typename Comp::NonConstRsPs);
716     using CompRs = SetDifference(typename Comp::RsSuperset, typename Comp::Ps);
719 …  using OtherCompConstPs = SetDifference(typename OtherComp::Ps, typename OtherComp::NonConstRsPs);
720     using OtherCompRs = SetDifference(typename OtherComp::RsSuperset, typename OtherComp::Ps);
723     using type = If(Not(IsDisjoint(typename OtherComp::Ps, AllPs)),
780     using SourcePs = typename SourceComp::Ps;
781     using DestPs = typename DestComp::Ps;
782     using SourceRs = SetDifference(typename SourceComp::RsSuperset, typename SourceComp::Ps);
783     using DestRs = SetDifference(typename DestComp::RsSuperset, typename DestComp::Ps);
1174         IsInSet(AnnotatedC, typename Comp::Ps),