∀ {α : Type} {byTarget byHyp : Lean.Meta.DiscrTree (Aesop.Rule α)} {unindexed : Lean.PHashSet (Aesop.Rule α)}
  {byTarget_1 byHyp_1 : Lean.Meta.DiscrTree (Aesop.Rule α)} {unindexed_1 : Lean.PHashSet (Aesop.Rule α)},
  { byTarget := byTarget, byHyp := byHyp, unindexed := unindexed } =
      { byTarget := byTarget_1, byHyp := byHyp_1, unindexed := unindexed_1 } →
    byTarget = byTarget_1 ∧ byHyp = byHyp_1 ∧ unindexed = unindexed_1