(* 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