Module OASISMessage


module OASISMessage: sig .. end
Messages to user

These functions display information depending on the verbosity level set in OASISContext.t. They use Printf.fprintf syntax to output. You can use a ~after function, that will be called if something has been displayed.
Author(s): Sylvain Le Gall


val debug : ctxt:OASISContext.t -> ('a, unit, string, unit) Pervasives.format4 -> 'a
Print a debug message.
val info : ctxt:OASISContext.t -> ('a, unit, string, unit) Pervasives.format4 -> 'a
Print information message.
val warning : ctxt:OASISContext.t -> ('a, unit, string, unit) Pervasives.format4 -> 'a
Print a warning message.
val error : ctxt:OASISContext.t -> ('a, unit, string, unit) Pervasives.format4 -> 'a
Print an error message and exit.
val string_of_exception : exn -> string
Convert an exception to a string readable by user. If the appropriate printer for the exception cannot be found, use Printexc.to_string.