code_type_digit/1

"code_type_digit( Code " )

Holds true if Code is a character between '0and'9'`.