Searched defs:CollectionS (Results 1 – 1 of 1) sorted by relevance
943 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()979 SymbolRef CollectionS = in assumeCollectionNonEmpty() local