Module Osiris.Settings

val mark : string ref

The prefix that must be inserted in front of the name of every translated file. E.g., foo.ml in the project directory becomes <mark>foo.v in the destination directory. It is set by --mark.

val decorate : bool ref

decorate determines whether expressions in the output .v file should be decorated with location information.

val debug : ('a, Format.formatter, unit) format -> 'a

debug format ... sends output to stderr only if --debug is set.

val say : ('a, Format.formatter, unit) format -> 'a

say format ... sends output to stderr only if --verbose is set.

val warn : ('a, Format.formatter, unit) format -> 'a

warn format ... sends output to stderr only if --warnings is set.

val warnings : bool ref

warnings indicates whether --warnings is set.

val debug_flag : bool ref

debug_flag indicates whether --debug is set.