module OASISContext:sig
..end
Global context for messages and i18n
typelevel =
[ `Debug | `Error | `Info | `Warning ]
type
source
typesource_filename =
source OASISFileSystem.filename
val in_srcdir : OASISUnixPath.unix_filename -> source_filename
type
t = {
|
quiet : |
(* | Display nothing. | *) |
|
info : |
(* | Display info messages. | *) |
|
debug : |
(* | Display also debug messages. | *) |
|
ignore_plugins : |
(* | Don't use plugins | *) |
|
ignore_unknown_fields : |
(* | Ignore fields unknown | *) |
|
printf : |
(* | Redirect output | *) |
|
srcfs : |
(* | The file system containing the sources | *) |
|
load_oasis_plugin : |
(* | Load the named OASIS plugin and return if it was able to find it. | *) |
val default : t Stdlib.ref
Default context
val fspecs : unit -> (string * Stdlib.Arg.spec * string) list * (unit -> t)
Command line arguments to create OASISContext.t
.
val quiet : t
Quiet context.