∀ {hyps : Array Lean.Meta.Hypothesis} {seen : Std.HashSet Lean.Expr} {hyps_1 : Array Lean.Meta.Hypothesis}
  {seen_1 : Std.HashSet Lean.Expr},
  { hyps := hyps, seen := seen } = { hyps := hyps_1, seen := seen_1 } → hyps = hyps_1 ∧ seen = seen_1