blob: 151a4ca80c2efbb5ddc4f1ce69bfbe1372f510f6 (
plain)
1
2
3
4
5
6
7
8
9
|
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.Identifier.t list ->
list_tests:(Format.formatter -> unit) ->
string list * t
|