Function vstd::string::ex_string_clone

source · 
pub exec fn ex_string_clone(s: &String) -> res : String
Expand description
ensures
res == s,