annotated_code avance

Écrivez les annotations Hoare complètes pour le tri par fusion (merge sort).

void merge_sort(int x[], int lo, int hi) {
    if (lo >= hi) return;
    int mid = (lo + hi) / 2;
    merge_sort(x, lo, mid);
    merge_sort(x, mid + 1, hi);
    merge(x, lo, mid, hi);
}