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