Sourceval is_space : char -> bool Sourceval is_cr : char -> bool Sourceval is_space_or_colon : char -> bool Sourceval is_hex : char -> bool Sourceval is_digit : char -> bool Sourceval is_separator : char -> bool Sourceval is_token : char -> bool