Agda.Utils.Trie

data Trie k v

empty

singleton

insert

lookupPath

union