∀ (waiters : Array Lean.Meta.SynthInstance.Waiter) (answers : Array Lean.Meta.SynthInstance.Answer)
  (waiters_1 : Array Lean.Meta.SynthInstance.Waiter) (answers_1 : Array Lean.Meta.SynthInstance.Answer),
  ({ waiters := waiters, answers := answers } = { waiters := waiters_1, answers := answers_1 }) =
    (waiters = waiters_1 ∧ answers = answers_1)