Includemod_errorprinter
val err_msgs : Includemod.explanation Format_doc.printer
val register : unit -> unit