sig val is_alpha : char -> bool val is_num : char -> bool val is_alpha_num : char -> bool val is_hex_num : char -> bool end