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