Member predicate CppType::hasUnderlyingType
Holds if this type represents the C++ type type (after resolving
typedefs). If isGLValue is true, then this type represents a glvalue
of type type. Otherwise, it represents a prvalue of type type.
predicate hasUnderlyingType(Type type, boolean isGLValue)