module Args: sig .. end
Module for handle the arguments of the program.
type test_args = {
|
t_log_level : ProglangUtils.Log.level; |
}
type mode =
| |
LexOnly |
| |
ParseOnly |
| |
GenOnly |
| |
Solve |
type normal_args = {
|
log_file : ProglangUtils.Path.abs; |
|
log_level : ProglangUtils.Log.level; |
|
file : ProglangUtils.Path.abs option; |
|
mode : mode; |
|
with_loc : bool; |
}
type t =
val parse : unit -> t
val string_of : t -> string
val align : (Arg.key * Arg.spec * Arg.doc list) list ->
(Arg.key * Arg.spec * Arg.doc) list
exception Error of string