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) → Aesop.BaseRuleSet