Searched defs:mnameToConcrete (Results 1 – 1 of 1) sorted by relevance
223 mnameToConcrete (MName []) = __IMPOSSIBLE__ -- C.QName C.noName_ -- should never happen? function224 mnameToConcrete (MName (x:xs)) = foldr C.Qual (C.QName $ List1.last cs) $ List1.init cs function