Arrays.module
(*
Arrays and array algorithm classes
*)
arr.sa -has arr.sa $ARR $RO_ARR -- Array abstraction
array.sa -has array.sa ARRAY
array2.sa -has array2.sa ARRAY2
array3.sa -has array3.sa ARRAY3
-- Algorithm modules
member.sa -has member.sa MEMBER -- Membership funcs on a container
a_alg.sa -has a_alg.sa A_ALG -- Miscellaneous array algs
a_permute.sa -has a_permute.sa A_PERMUTE -- Permutations of arrays
a_sort.sa -has a_sort.sa A_SORT -- Sorting arrays
a_select.sa -has a_select.sa A_SELECT -- Selecting ith elt
a_search.sa -has a_search.sa A_SEARCH -- Binary searching.
-- Array tests
array2_test.sa -has array2_test.sa TEST_ARRAY2
array3_test.sa -has array3_test.sa TEST_ARRAY3
arrays_test.sa -has arrays_test.sa TEST_ARR_ALG TEST_SORT
TEST_ARRAY TEST_LIST