Predicate BasicIntTypes::allowedTypedefs

predicate allowedTypedefs(TypedefType t)