blob: 51bd5bb9632c2ad1f1e55af2c636c97397c1450d (
plain) (
blame)
1
2
3
4
5
6
|
Implementation of a multi-key dictionary, i.e.:
(key1[,key2, ..]) => value
This dictionary has a similar interface to the standard dictionary => but is
extended to support multiple keys referring to the same element.
|
