Library lazy-trie

The entry point of this library is the module: Lazy_trie.