Predicate kindstr

Gets a string describing the kind of a Class.

string kindstr(Class c)