sig
  type t = { stats : bool; print_format : string; }
  val default : LogtkOptions.t
  val make :
    LogtkOptions.t Pervasives.ref -> (string * Arg.spec * string) list
  val global : LogtkOptions.t Pervasives.ref
  val global_opts : (string * Arg.spec * string) list
  val mk_global_opts : unit -> (string * Arg.spec * string) list
end