Stub files

Mypy uses stub files stored in thetypeshed repository to determinethe types of standard library and third-party library functions, classes,and other definitions. You can also create your own stubs that will beused to type check your code. The basic properties of stubs were introducedback in Library stubs and typeshed.