Function vstd::string::ex_string_as_str

source · 
pub exec fn ex_string_as_str<'a>(s: &'a String) -> res : &'a str
Expand description
ensures
res@ == s@,
s.is_ascii() == res.is_ascii(),