type filters = { level : Qsp_syntax.Report.level option } type t = { reset_line : bool; filters : filters; interractive : bool } (** All the arguments given from the command line *) val parse : unit -> string list * t
