Member predicate Enum :: hasExplicitUnderlyingType
Holds if this enum has an enum-base [N4140 7.2].
For example: enum E : int
.
predicate
hasExplicitUnderlyingType
(
)