vstd::string

Function str_slice_is_ascii

Source
pub uninterp fn str_slice_is_ascii(s: &str) -> bool
Expand description