Closed mbouaziz closed 9 years ago
A multimap(key, val) is just a map(key, list(val)), mapping a key to several (ordered) values. Added two efficient functions to use them : Map.From.assoc_list_multi and Map.add_to_multi
multimap(key, val)
map(key, list(val))
Map.From.assoc_list_multi
Map.add_to_multi
A
multimap(key, val)
is just amap(key, list(val))
, mapping a key to several (ordered) values. Added two efficient functions to use them :Map.From.assoc_list_multi
andMap.add_to_multi