pub fn term_to_proof_term<'a>(term: &Term<'a>, interner: &Interner) -> ProofTerm
Convert a Term to ProofTerm.