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