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 = {

`verbose : bool;`	`(*`	Display info, warnings and errors messages.	`*)`
`debug : bool;`	`(*`	Display also debug messages.	`*)`
`ignore_plugins : bool;`	`(*`	Don't use plugins	`*)`
`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.