Skip to main content

apply

logicaffeine_proof::tactic::combinators

Function apply 

Source 
pub fn apply(name: &str) -> Tactic
Expand description

apply name (modus ponens against a named rule) as a tactic value.