Skip to main content

crush

logicaffeine_proof::tactic::combinators

Function crush 

Source 
pub fn crush() -> Tactic
Expand description

crush as a tactic value.