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.
val string_of_exception : exn -> string
See OASISMessage.string_of_exception.