path: root/bin/args.mli

type filters = { level : Qsp_syntax.Report.level option }

type t = { reset_line : bool; filters : filters }
(** All the arguments given from the command line *)

val parse :
  modules:Qsp_syntax.Check.t list ->
  list_tests:(Format.formatter -> unit) ->
  string list * t