∀ {α : Type u_1} [inst : BEq α] [inst_1 : Hashable α] (toArray : Array α) (toHashSet : Std.HashSet α)
  (toArray_1 : Array α) (toHashSet_1 : Std.HashSet α),
  ({ toArray := toArray, toHashSet := toHashSet } = { toArray := toArray_1, toHashSet := toHashSet_1 }) =
    (toArray = toArray_1 ∧ toHashSet = toHashSet_1)