∀ (enabled : Bool) (assignment : Lean.PersistentHashMap Lean.MVarId Lean.Elab.InfoTree)
  (lazyAssignment : Lean.PersistentHashMap Lean.MVarId (Task Lean.Elab.InfoTree))
  (trees : Lean.PersistentArray Lean.Elab.InfoTree) (enabled_1 : Bool)
  (assignment_1 : Lean.PersistentHashMap Lean.MVarId Lean.Elab.InfoTree)
  (lazyAssignment_1 : Lean.PersistentHashMap Lean.MVarId (Task Lean.Elab.InfoTree))
  (trees_1 : Lean.PersistentArray Lean.Elab.InfoTree),
  ({ enabled := enabled, assignment := assignment, lazyAssignment := lazyAssignment, trees := trees } =
      { enabled := enabled_1, assignment := assignment_1, lazyAssignment := lazyAssignment_1, trees := trees_1 }) =
    (enabled = enabled_1 ∧ assignment = assignment_1 ∧ lazyAssignment = lazyAssignment_1 ∧ trees = trees_1)