pub fn codegen( typeenv: &TypeEnv, termenv: &TermEnv, tries: &BTreeMap<TermId, TrieNode>) -> String
Emit Rust source code for the given type and term environments.