Agda.Utils.Trie
data Trie k v
empty
singleton
everyPrefix
insert
insertWith
union
unionWith
adjust
delete
toList
toAscList
lookup
member
lookupPath
tests