Module char 

Functions

_verus_external_fn_specification_200_char_32__58__58__32_len__utf8^⚠

_verus_external_fn_specification_201_char_32__58__58__32_is__whitespace^⚠

is_white_space