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