Includemod_errorprinter
val err_msgs : Includemod.explanation -> Format.formatter -> unit
val register : unit -> unit