sig
type level = [ `Debug | `Error | `Info | `Warning ]
type t = {
verbose : bool;
debug : bool;
ignore_plugins : bool;
printf : OASISContext.level -> string -> unit;
}
val default : OASISContext.t Pervasives.ref
val args : unit -> (string * Arg.spec * string) list
val quiet : OASISContext.t
end