Module vstd::string

Re-exports

• pub use super::view::View;

Structs

• ExString

Traits

• StrSliceExecFns
• StringExecFns
• StringExecFnsIsAscii

Functions

• _verus_external_fn_specification_7_str_32__58__58__32_is__ascii^⚠
• _verus_external_fn_specification_8_str_32__58__58__32_to__string^⚠
• _verus_external_fn_specification_9_String_32__58__58__32_is__ascii^⚠
• _verus_external_fn_specification_10_String_32__58__58__32_as__str^⚠
• _verus_external_fn_specification_11__60__32_String_32_as_32_Clone_32__62__32__58__58__32_clone^⚠
• _verus_external_fn_specification_12__60__32_String_32_as_32_PartialEq_32__62__32__58__58__32_eq^⚠
• axiom_str_literal_get_char
• axiom_str_literal_is_ascii
• axiom_str_literal_len
• group_string_axioms
• new_strlit_spec
• str_slice_is_ascii
• string_is_ascii