∀ (params : Array Lean.Meta.Grind.TParam) (anchors : Array Lean.Meta.Grind.TAnchor✝) (hasSorry : Bool)
  (params_1 : Array Lean.Meta.Grind.TParam) (anchors_1 : Array Lean.Meta.Grind.TAnchor✝¹) (hasSorry_1 : Bool),
  ({ params := params, anchors := anchors, hasSorry := hasSorry } =
      { params := params_1, anchors := anchors_1, hasSorry := hasSorry_1 }) =
    (params = params_1 ∧ anchors = anchors_1 ∧ hasSorry = hasSorry_1)