code: def WriteRow(stream, values):
    "Writes one row of comma-separated values to stream."
    stream.write(','.join([EncodeForCSV(val) for val in values]))
    stream.write('\n'f WriteRow(stream, values):
    "Writes one row of comma-separated values to stream."
    stream.write(','.join([EncodeForCSV(val) for val in values]))
    stream.write('\n')
docs: Writes one row of comma-separated values to stream.