Function string_is_ascii Copy item path

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

{ is_ascii_chars(s@) }