pub fn term_to_string(term: &Term, interner: &StringInterner) -> String
Format a term as a human-readable string.