Entities (I):
Index (type) at sorting_tests.ads:4:9
Index (type) at concurrent_mergesort.ads:4:9
Is_Permutation (subprogram) at sorting_tests.ads:14:13
Is_Sorted (subprogram) at sorting_tests.ads:12:13