Predicate BasicIntTypes::getAUsedType

Gets a type which appears indirectly in t, stopping at allowed typedefs.

Type getAUsedType(Type t)