stubdoc (pypi): stubdoc is a Python library that append docstring to stub files.
Keywords: docstring|mypy|python|stub|stubs|typeannotations