pub fn codegen(
    typeenv: &TypeEnv,
    termenv: &TermEnv,
    terms: &[(TermId, RuleSet)],
    options: &CodegenOptions
) -> String
Expand description

Emit Rust source code for the given type and term environments.