Function is_ascii Copy item path

pub open spec fn is_ascii(s: &str) -> bool

{ is_ascii_chars(s@) }