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