Function into_iter_elts Copy item path

pub uninterp spec fn into_iter_elts<'a>(i: Chars<'a>) -> Seq<char>