Function const_sort 

pub fn const_sort<T, F>(v: &mut [T], cmp: &F)
where
    F: Fn(&T, &T) -> Choice,
    T: ConditionallySwappable,