Equations
- (Aesop.RuleTacDescr.apply t md pat?).run = Aesop.RuleTac.apply t pat? md
- (Aesop.RuleTacDescr.constructors cs md).run = Aesop.RuleTac.applyConsts cs md
- (Aesop.RuleTacDescr.forward t pat? immediate clear md).run = Aesop.RuleTac.forward t pat? immediate clear md
- (Aesop.RuleTacDescr.cases target md isRecursiveType ctorNames).run = Aesop.RuleTac.cases target md isRecursiveType ctorNames
- (Aesop.RuleTacDescr.tacticM decl).run = Aesop.RuleTac.tacticM decl
- (Aesop.RuleTacDescr.singleRuleTac decl).run = Aesop.RuleTac.singleRuleTac decl
- (Aesop.RuleTacDescr.ruleTac decl).run = Aesop.RuleTac.ruleTac decl
- (Aesop.RuleTacDescr.tacticStx stx).run = Aesop.RuleTac.tacticStx stx
- (Aesop.RuleTacDescr.tacGen decl).run = Aesop.RuleTac.tacGen decl
- Aesop.RuleTacDescr.preprocess.run = Aesop.RuleTac.preprocess