Aesop.Index Aesop.NormRuleInfo →
  Aesop.Index Aesop.UnsafeRuleInfo →
    Aesop.Index Aesop.SafeRuleInfo →
      Lean.PHashMap Lean.Name (Option Lean.Name) →
        Aesop.ForwardIndex →
          Lean.PHashSet Aesop.RuleName →
            Aesop.RulePatternIndex →
              Lean.PHashSet Aesop.RuleName →
                Lean.PHashMap Lean.Name (Aesop.UnorderedArraySet Aesop.RuleName) →
                  (simpTheoremsArray : Array (Lean.Name × Lean.Meta.SimpTheorems)) →
                    0 < simpTheoremsArray.size →
                      (simprocsArray : Array (Lean.Name × Lean.Meta.Simprocs)) →
                        0 < simprocsArray.size → Array Aesop.LocalNormSimpRule → Aesop.LocalRuleSet