Skip to main content
Module char
vstd
Module char
Module Items
Functions
In vstd::
std_
specs
vstd
::
std_specs
Module
char
Copy item path
Source
Functions
§
_verus_
external_
fn_
specification_
209_
char_
32__
58__
58__
32_
len__
utf8
⚠
_verus_
external_
fn_
specification_
210_
char_
32__
58__
58__
32_
is__
whitespace
⚠
is_
white_
space