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