Skip to main content

assumption

logicaffeine_proof::tactic::combinators

Function assumption 

Source 
pub fn assumption() -> Tactic
Expand description

assumption as a tactic value.