Imandra_util__Util.Lex_class
type t
= char -> bool
val white_space : t
val num : t
val alpha_num : t
val alpha_num_prime : t
val alpha_num_prime_star : t