merge_high


Description:

private void merge_high (owned Slice<G> a, owned Slice<G> b)