def _write_set(self, df: pd.DataFrame, set_name, handle: TextIO):
    '\n\n        Arguments\n        ---------\n        df : pandas.DataFrame\n        set_name : str\n        handle: TextIO\n        '
    handle.write('set {} :=\n'.format(set_name))
    df.to_csv(path_or_buf=handle, sep=' ', header=False, index=False)
    handle.write(';\n')
Arguments
---------
df : pandas.DataFrame
set_name : str
handle: TextIO
def _write_set(self, df: pd.DataFrame, set_name, handle: TextIO):
    '\n\n        Arguments\n        ---------\n        df : pandas.DataFrame\n        set_name : str\n        handle: TextIO\n        '
    handle.write('set {} :=\n'.format(set_name))
    df.to_csv(path_or_buf=handle, sep=' ', header=False, index=False)
    handle.write(';\n')