Skip to main content

refine

logicaffeine_proof::tactic::combinators

Function refine 

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

refine <term> as a tactic value.