sig
  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
end