Searched refs:ToNamedConcept (Results 1 – 1 of 1) sorted by relevance
985 auto ToNamedConcept = importChecked(Err, From->getNamedConcept()); in import() local996 ToNamedConcept, in import()