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