- s8vector-quick-sort!procedure
- u8vector-quick-sort!procedure
- s16vector-quick-sort!procedure
- u16vector-quick-sort!procedure
- s32vector-quick-sort!procedure
- u32vector-quick-sort!procedure
- f32vector-quick-sort!procedure
- f64vector-quick-sort!procedure
where ELT< :: i1 * V(i1) * i2 * V(i2) -> boolean