Module vstd::string

Re-exports

• pub use super::view::View;

Structs

• ExString

Traits

• StrSliceExecFns
• StringExecFns
• StringExecFnsIsAscii

Functions

• axiom_str_literal_get_char
• axiom_str_literal_is_ascii
• axiom_str_literal_len
• ex_str_slice_is_ascii
• ex_str_to_string
• ex_string_as_str
• ex_string_clone
• ex_string_eq
• ex_string_is_ascii
• group_string_axioms
• new_strlitDeprecated
• new_strlit_spec
• str_slice_is_ascii
• string_is_ascii

Type Aliases

• StrSliceDeprecated