pub exec fn ex_string_is_ascii(s: &String) -> bool
Expand description
ensures
b == string_is_ascii(s),