pub exec fn ex_str_slice_is_ascii(s: &str) -> b : bool
Expand description
ensures
b == str_slice_is_ascii(s),