Method code for $dictionary.to_trie()

[Turn off line numbering]
  1: arg dict;
  2: var i, trie;
  3: 
  4: trie = $trie.new();
  5: for i in (dict) {
  6:     trie = trie.add(i[1], i[2]);
  7:     refresh();
  8: }
  9: return trie;

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

the Cold Dark