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