functor (L : Level_sig) (S : Config->
  sig
    val level : L.t Stdlib.ref
    val output : S.t BatIO.output Stdlib.ref
    val log : ?fp:string -> L.t -> string -> unit
    val logf :
      ?fp:string -> L.t -> ('a, S.t BatIO.output, unit) Stdlib.format -> 'a
  end