Skip to main content

exact_term

logicaffeine_proof::tactic::combinators

Function exact_term 

Source 
pub fn exact_term(term: PTerm) -> Tactic
Expand description

exact <term> as a tactic value.