sig   val is_valid : char -> bool   val is_digit : char -> bool   val is_hex_digit : char -> bool   val is_upper : char -> bool   val is_lower : char -> bool   val is_letter : char -> bool   val is_alphanum : char -> bool   val is_white : char -> bool   val is_blank : char -> bool   val is_graphic : char -> bool   val is_print : char -> bool   val is_control : char -> bool   val uppercase : char -> char   val lowercase : char -> char   val escape : char -> string   val escape_char : char -> string end