∀ (name : Lean.Name) (type : Lean.Expr) (name_1 : Lean.Name) (type_1 : Lean.Expr),
  (Lean.Doc.ArgSpec.positional✝ name type = Lean.Doc.ArgSpec.positional✝¹ name_1 type_1) =
    (name = name_1 ∧ type = type_1)