Module Debug.Debug_event
val to_doc : t -> Imandra_document.Document.t
val print : t CCFormat.printer
val make : ?c:string -> ?ts:float -> ?level:int -> string -> t
module EncodeMsgpck : module type of sig ... end
module DecodeMsgpck : module type of sig ... end