Skip to main content

term_to_proof_term

logicaffeine_language::proof_convert

Function term_to_proof_term 

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