String
Exec
FnsIs
Ascii
vstd
String
Exec
FnsIs
Ascii
Required Methods
is_ascii
Implementations on Foreign Types
String
Object Safety
Implementors
In vstd::
string
Structs
ExString
Traits
StrSliceExecFns
StringExecFns
StringExecFnsIsAscii
Functions
_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
_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
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
?
Settings
Trait
vstd
::
string
::
StringExecFnsIsAscii
Copy item path
source
·
[
−
]
pub trait StringExecFnsIsAscii:
Sized
{ // Required method
exec
fn
is_ascii
(&self) ->
bool
; }
Required Methods
§
source
exec
fn
is_ascii
(&self) ->
bool
Object Safety
§
This trait is
not
object safe
.
Implementations on Foreign Types
§
source
§
impl
StringExecFnsIsAscii
for
String
source
§
exec
fn
is_ascii
(&self) ->
bool
Implementors
§