Searched refs:IntersectionToString (Results 1 – 2 of 2) sorted by relevance
90 PandaString IntersectionToString(TypeSystem const *&tsys) const;
260 PandaString Type::IntersectionToString(TypeSystem const *&tsys) const in IntersectionToString() function in ark::verifier::Type315 return IntersectionToString(tsys); in ToString()