import pathlib
def convert_file(
source_file: str, to: str, format: str | None, outputfile: str | pathlib.Path | None
) -> str: ...