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);
1164 IsInSet(AnnotatedC, typename Comp::Ps),
