When you start the telegram bot on Python, an error occurs?

Question

Python

def user_link(user: types.User, include_id: bool-False) -> str:
AttributeError:
help solve problem

Answer 1

And why didn’t I post the entire text of the error, I don’t understand why the exception is thrown. It seems like there is no attribute, maybe types do not have User? After AttributeError must be written specifically.
And what is bool-False? Maybe there is still equal (=) should be together with a hyphen.