save_to_pgm


Description:

public Result save_to_pgm (string file_name, string? comment = null)