Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Calc
Step - A single step in a
calcproof. - CaseArm
- A case arm for
cases/induction. - Custom
Tactic - Custom tactic syntax definition
- Rewrite
Rule - A rewrite rule: a lemma name with an optional reverse flag.
- Simp
Args - Arguments to the
simptactic. - Tactic
Location - Location information for IDE support
Enums§
- Conv
Side - Side for
convtactic. - Tactic
Expr - A parsed tactic expression.