pub fn build_tries(
    typeenv: &TypeEnv,
    termenv: &TermEnv
) -> BTreeMap<TermId, TrieNode>
Expand description

Construct the tries for each term.