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.
Generic message.
Print a debug message.
Print information message.
Print a warning message.
Print an error message.