def write()

in tools/split.py [0:0]


def write(f: TextIO, line: str) -> str:
    f.write(line)