type html_tag = [ `BR | `L of html_tag list | `T of string ] type html_msg = [ `Error of html_tag | `Msg of html_tag ] class html_logger: width:int -> height:int -> packing:(GObj.widget -> unit) -> show:bool -> unit -> object (* in all methods below "append_NL" defaults to true *) (** log an HTML like message, see minimal markup above *) method log: ?append_NL:bool -> html_msg -> unit (** log a cic messages as degined in CicLogger *) method log_cic_msg: ?append_NL:bool -> CicLogger.msg -> unit end