∀ (alreadyFound : Lean.PersistentHashSet Lean.FVarId) (relaxedReuse : Bool)
  (alreadyFound_1 : Lean.PersistentHashSet Lean.FVarId) (relaxedReuse_1 : Bool),
  ({ alreadyFound := alreadyFound, relaxedReuse := relaxedReuse } =
      { alreadyFound := alreadyFound_1, relaxedReuse := relaxedReuse_1 }) =
    (alreadyFound = alreadyFound_1 ∧ relaxedReuse = relaxedReuse_1)