Lean.Meta.SimpTheoremTree →
  Lean.Meta.SimpTheoremTree →
    Lean.PHashSet Lean.Meta.Origin →
      Lean.PHashSet Lean.Name →
        Lean.PHashSet Lean.Meta.Origin → Lean.PHashMap Lean.Name (Array Lean.Name) → Lean.Meta.SimpTheorems