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