Previous  Up  Next

Module OASISContext

module OASISContext: sig .. end
Global context for messages and i18n
Author(s): Sylvain Le Gall
type level = [ `Debug | `Error | `Info | `Warning ] 
type t = {
   quiet : bool; (*
Display nothing.
*)
   info : bool; (*
Display info messages.
*)
   debug : bool; (*
Display also debug messages.
*)
   ignore_plugins : bool; (*
Don't use plugins
*)
   ignore_unknown_fields : bool; (*
Ignore fields unknown
*)
   printf : level -> string -> unit; (*
Redirect output
*)
} 
val default : t Pervasives.ref
Default context
val fspecs : unit -> (string * Arg.spec * string) list * (unit -> t)
Command line arguments to create OASISContext.t.
val quiet : t
Quiet context.