/* Return the pretty name associated with this type, that is an unmangled type name in a form presentable to the user.  */
SWIGRUNTIME const char* SWIG_TypePrettyName(const swig_type_info *type)
/* Return the pretty name associated with this type, that is an unmangled type name in a form presentable to the user.  */
SWIGRUNTIME const char* SWIG_TypePrettyName(const swig_type_info *type)
{
    const char *last_name = type->str;
    const char *s;
    for (s = type->str; *s; s++)
      if (*s == '|') last_name = s+1;
    return last_name;
  }
  else
    return type->name;
}