Function new_strlit_specCopy item path

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

{ s }