Function codegen_term 

pub fn codegen_term(term: &Term<'_>, interner: &Interner) -> String

Available on crate feature codegen only.