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.