Cryptol.REPL.Trie
data
Trie
a
emptyTrie
insertTrie
lookupTrie
lookupTrieExact
leaves