∀ {binders : Array (Lean.TSyntax `Lean.Parser.Term.bracketedBinder)} {argNames targetNames : Array Lean.Name}
  {targetType : Lean.Term} {binders_1 : Array (Lean.TSyntax `Lean.Parser.Term.bracketedBinder)}
  {argNames_1 targetNames_1 : Array Lean.Name} {targetType_1 : Lean.Term},
  { binders := binders, argNames := argNames, targetNames := targetNames, targetType := targetType } =
      { binders := binders_1, argNames := argNames_1, targetNames := targetNames_1, targetType := targetType_1 } →
    binders = binders_1 ∧ argNames = argNames_1 ∧ targetNames = targetNames_1 ∧ targetType = targetType_1