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