t: int = ..., number: int = ...
    ) -> List[float]: ...

def main(args: Optional[Sequence[str]]) -> None: ...
PK