Function string_is_ascii Copy item path

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