Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val terminal : terminal_kind Pervasives.ref
val window_size : int Pervasives.ref
val min_step : int option Pervasives.ref
val max_step : int option Pervasives.ref
val grid : bool Pervasives.ref
val vars_to_show : string list Pervasives.ref
val vars_to_hide : string list Pervasives.ref
val verbose : bool Pervasives.ref
val dynamic : bool Pervasives.ref
val rif_file : string Pervasives.ref
val f : unit -> Pervasives.out_channel * int