functor (O : Ot->
  sig
    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
  end