-- File created: 2009-01-06 13:48:52-- | A map from lists of elements that can be totally ordered to arbitrary-- values, based on a Patricia trie.moduleData.ListTrie.Patricia.Map.Ord(TrieMap,moduleData.ListTrie.Patricia.Map)whereimportData.Map(Map)importData.ListTrie.Patricia.Maphiding(TrieMap)importqualifiedData.ListTrie.Patricia.MapasBasetypeTrieMap=Base.TrieMapMap