unsafe fn insert_tail<T, F>(v: &mut [T], is_less: &F)where F: Fn(&T, &T) -> bool,
Inserts v[v.len() - 1] into pre-sorted sequence v[..v.len() - 1] so that whole v[..] becomes sorted.
v[v.len() - 1]
v[..v.len() - 1]
v[..]