sig
  val description : string
  val verbose : int OptParse.Opt.t
  val quiet : bool OptParse.Opt.t
  val progress : bool OptParse.Opt.t
  val timers : bool OptParse.Opt.t
  val options : OptParse.OptParser.t
  val dump : bool OptParse.Opt.t
  val noop : bool OptParse.Opt.t
  val human : bool OptParse.Opt.t
  val solver : string OptParse.Opt.t
  val criteria : string OptParse.Opt.t
  val explain : bool OptParse.Opt.t
  val conffile : string OptParse.Opt.t
  val native_arch : string OptParse.Opt.t
  val foreign_archs : string list OptParse.Opt.t
end