Skip to main content

induction_over

logicaffeine_proof::tactic::combinators

Function induction_over 

Source 
pub fn induction_over(ind_type: &str, ctors: Vec<CtorSpec>) -> Tactic
Expand description

induction_over (generic structural induction over ind_type) as a tactic value.