Module str 

Specifications for the UTF-8 string APIs missing from vstd.

vstd models UTF-8 validity itself (vstd::utf8::valid_utf8) and specifies str::from_utf8_unchecked, but it does not specify core::str::from_utf8.

Structs

ExUtf8Error

The error payload of core::str::from_utf8. It is never inspected by OSTD, so it carries no specification of its own beyond being usable in Verus specs.

Functions

_verus_external_fn_specification_59_core_32__58__58__32_str_32__58__58__32_from__utf8^⚠