vstd::string

Function string_is_ascii

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