isxdigit

The standard function isxdigit provides the following interface:

fun isxdigit = (uint<8> c) int<32>

it returns 0 when the given ASCII character c is not a hexadecimal digit, otherwise it returns a non-zero value.