Predicate Type::internalSpecString

predicate internalSpecString(Type t, string res, int i)