code: def translate_pname(self, pname: PrefName, mid: ModuleId) -> QualName:
          
          loc, nid = self.resolve_pname(pname, mid)
          return (loc, self.namespace(nid))
docs: Translate a prefixed name to a qualified name.
          Args:
              pname: Name with an optional prefix.
              mid: Identifier of the module in which `pname` appears.
          Raises:
              ModuleNotRegistered: If `mid` is not registered in the data model.
              UnknownPrefix: If the prefix specified in `pname` is not declared.