Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 f : unit -> out_channel * int