matita/components/logger/helmLogger.mli

   1
   2 type html_tag =
   3   [ `BR
   4   | `L of html_tag list
   5   | `T of string
   6   | `DIV of int * string option * html_tag  (* indentation, color, tag *)
   7   ]
   8 type html_msg = [ `Error of html_tag | `Msg of html_tag ]
   9
  10   (** html_msg to plain text converter *)
  11 val string_of_html_msg: html_msg -> string
  12
  13   (** html_tag to plain text converter *)
  14 val string_of_html_tag: html_tag -> string
  15
  16   (** html_msg to html text converter *)
  17 val html_of_html_msg: html_msg -> string
  18
  19   (** html_tag to html text converter *)
  20 val html_of_html_tag: html_tag -> string
  21
  22 type logger_fun = ?append_NL:bool -> html_msg -> unit
  23
  24 val register_log_callback: logger_fun -> unit
  25
  26 val log: logger_fun
  27