Function vstd::string::ex_str_to_string

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