Method code for $trie.to_dict()

[Turn on line numbering]
arg trie, @prefix;
var n, i, dict;

// This function will only convert single-valued tries (such as were
// probably obtained from dictionaries
[(prefix ?= "")] = prefix;
dict = trie[1] ? #[[prefix + trie[1][1], trie[1][2]]] : #[];
if (trie[2]) {
    for i in [1 .. trie[2].length()]
        dict = dict_union(dict, .to_dict(trie[2 + i], prefix + trie[2][i]));
    refresh();
}
return dict;

["// Miroslav Silovic ", "// Created 09-May-1995 as a part of ColdCore, see: @help Credit"]

the Cold Dark