vstd
In vstd::
string
Structs
CharsGhostIterator
ExChars
ExString
Traits
StrSliceExecFns
StringExecFns
StringExecFnsIsAscii
Functions
_verus_external_fn_specification_10_String_32__58__58__32_is__ascii
_verus_external_fn_specification_11_String_32__58__58__32_as__str
_verus_external_fn_specification_12__60__32_String_32_as_32_Clone_32__62__32__58__58__32_clone
_verus_external_fn_specification_13__60__32_String_32_as_32_PartialEq_32__62__32__58__58__32_eq
_verus_external_fn_specification_14_str_32__58__58__32_chars
_verus_external_fn_specification_15_Chars_32__58__58__32__60__32__39_a_32__62__32__58__58__32_next
_verus_external_fn_specification_7_str_32__58__58__32_is__ascii
_verus_external_fn_specification_8_str_32__58__58__32_to__owned
_verus_external_fn_specification_9__60__32_T_32_as_32_ToString_32__62__32__58__58__32_to__string
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
to_string_from_display_ensures
to_string_from_display_ensures_for_str
vstd
::
string
Function
group_string_axioms
Copy item path
Settings
Help
Summary
Source
pub
broadcast group
fn group_string_axioms()
Expand description
broadcast group