Module char 

Functions

_verus_external_fn_specification_237_char_32__58__58__32_len__utf8^⚠

_verus_external_fn_specification_238_char_32__58__58__32_is__whitespace^⚠

is_white_space