Aesop.NormRule →
  Aesop.RuleTacInput →
    Aesop.ForwardState →
      Aesop.LocalRuleSet →
        Aesop.NormM
          (Option (Aesop.NormRuleResult × Aesop.ForwardState × Std.HashSet Lean.FVarId) × Array Aesop.ForwardRuleMatch)