Function vstd::string::new_strlit_spec

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

{ s }