Lists.module



(* 
   Lists and list related abstractions
*)

    list.sa -has list.sa $LIST                         -- Extensible arrays
    a_list.sa -has a_list.sa A_LIST LIST

    llist.sa -has llist.sa LLIST LL_NODE  -- Linked list class, 
	-- no abstraction as yet

    llist_test.sa -has llist_test.sa TEST_LLIST  -- Linked list test