Method code for $dictionary.to_trie()

[Turn on line numbering]

---

arg dict;
var i, trie;

trie = $trie.new();
for i in (dict) {
    trie = trie.add(i[1], i[2]);
    refresh();
}
return trie;

---

["// Created 26-Mar-1995 as a part of ColdCore, see: @help Credit"]