Member predicate Enum :: hasExplicitUnderlyingType

Holds if this enum has an enum-base [N4140 7.2]. For example: enum E : int.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                hasExplicitUnderlyingType
                            
                            
                                (
                                )