Module 1-P.L

val abort : ( 'a, 'b ) Log.pretty_aborter
val warning : 'a Log.pretty_printer