Maps.module

(*
  Mappings from keys to indices. 
  Simple maps represent 1:1 mappings from keys to items. The Keys
  must be unique
  Multimaps represent 1 to many mappings from keys to items. 

*)

    map.sa -has map.sa $RO_MAP $MAP 
    map_incl.sa -has map_incl.sa MAP_INCL MAP
    h_map.sa -has h_map.sa H_MAP
    multimap.sa -has multimap.sa $RO_MULTIMAP $MULTIMAP    -- Multi-maps
    multimap_incl.sa -has multimap_incl.sa RO_MULTIMAP_INCL MULTIMAP_INCL MULTIMAP
    h_multimap.sa -has h_multimap.sa H_MULTIMAP		   -- Hash multi-map	

    btree.sa -has btree.sa B_TREE BT_NODE BT_NELEM
       -- Implemenation of (a,b) trees, which are a kind of $MAP        
    btree_test.sa -has btree_test.sa TEST_BTREE BT_NODE_DBG B_TREE_DBG

    map_test.sa -has map_test.sa TEST_MAP 
    multimap_test.sa -has multimap_test.sa TEST_MULTIMAP