Module GnuplotRif

type terminal_kind =
  1. | Jpg
  2. | Ps
  3. | Pdf
  4. | Cps
  5. | Eps
  6. | Latex
  7. | X11
  8. | Wxt
  9. | Qt
  10. | NoDisplay
  11. | Default
val terminal : terminal_kind ref
val window_size : int ref
val min_step : int option ref
val max_step : int option ref
val grid : bool ref
val vars_to_show : string list ref
val vars_to_hide : string list ref
val verbose : bool ref
val dynamic : bool ref
val rif_file : string ref
val ressource_file_usage : string
val read_ressource_file : unit -> unit
val f : unit -> out_channel * int