char_type_xdigit/1

"char_type_xdigit( Char " )

Holds true if Char is an hexadecimal digit.