Note:

You are viewing a development version of the library. Goto the latest version.

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 args : unit -> (string * Arg.spec * string) list
Command line arguments to change OASISContext.default.
val quiet : t
Quiet context.