module Args:sig..end
val first_arg : int Stdlib.ref
val opt_config : string option Stdlib.ref
val add_command : string -> unit
val all_options : Getopt.opt list -> string -> string -> Getopt.opt list
val initialize : ?extra_help:string ->
Getopt.opt list -> (string -> unit) -> string -> Whyconf.config * Env.env
val complete_initialization : unit -> Whyconf.config * Env.env
val exit_with_usage : ?extra_help:string -> string -> 'a
val common_options : Getopt.opt list