Cryptol.REPL.Trie

data Trie a

emptyTrie

insertTrie

lookupTrie

lookupTrieExact

leaves