pub fn print_term(term: &Term) -> Result<String, PrintError>
Spell term in the kernel term surface.
term