There exists a writer function in python's csv module. I used vscode to find its source code. What I found was just the declaration of the function's name and its arguments and no further code for the function was found.
def writer(
csvfile: SupportsWrite[str],
dialect: _DialectLike = ...,
*,
delimiter: str = ...,
quotechar: str | None = ...,
escapechar: str | None = ...,
doublequote: bool = ...,
skipinitialspace: bool = ...,
lineterminator: str = ...,
quoting: _QuotingType = ...,
strict: bool = ...,
) -> _writer: ...
This goes for every other function in this module. Also the extension of the file I found this function in is .pyi
My questions are
- Where / how is the function defined here
- What do
...
mean here - Why the extension for this file is
.pyi