Note:

You are viewing a development version of the library. Goto the latest version.

Module BaseMessage

module BaseMessage: sig .. end
Message to user

This module is the same as OASISMessage, except we use the context BaseContext.default.
Author(s): Sylvain Le Gall


val debug : ('a, unit, string, unit) Pervasives.format4 -> 'a
See OASISMessage.debug.
val info : ('a, unit, string, unit) Pervasives.format4 -> 'a
See OASISMessage.info.
val warning : ('a, unit, string, unit) Pervasives.format4 -> 'a
See OASISMessage.warning.
val error : ('a, unit, string, unit) Pervasives.format4 -> 'a
See OASISMessage.error.