Module Whyconf.Args

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 : Why3.Getopt.opt list -> string -> string -> Why3.Getopt.opt list

val initialize : ?extra_help:string ->
       Why3.Getopt.opt list ->
       (string -> unit) -> string -> Whyconf.config * Why3.Env.env

val complete_initialization : unit -> Whyconf.config * Why3.Env.env

val exit_with_usage : ?extra_help:string -> string -> 'a

val common_options : Why3.Getopt.opt list