Module Whyconf.Args

module Args: sig .. end

val initialize : ?extra_help:(Format.formatter -> unit -> unit) ->
(string * Arg.spec * string) list ->
(string -> unit) -> string -> Whyconf.config * Whyconf.config * Env.env
val exit_with_usage : ?exit_code:int ->
?extra_help:(Format.formatter -> unit -> unit) ->
(string * Arg.spec * string) list -> string -> 'a