∀ (candidates : Array Lean.Meta.Grind.SplitCandidateWithAnchor) (numDigits : ℕ)
  (candidates_1 : Array Lean.Meta.Grind.SplitCandidateWithAnchor) (numDigits_1 : ℕ),
  ({ candidates := candidates, numDigits := numDigits } = { candidates := candidates_1, numDigits := numDigits_1 }) =
    (candidates = candidates_1 ∧ numDigits = numDigits_1)