functor (P : sig val channel : string val label : string val verbose_atleast : int -> bool val debug_atleast : int -> bool end) -> Messages