Searched defs:__other_name (Results 1 – 2 of 2) sorted by relevance
244 const string __other_name = __other.name(); in global() local
282 const string __other_name = __other.name(); in global() local