vstd::string

Function string_is_ascii

Source
pub uninterp fn string_is_ascii(s: &String) -> bool
Expand description