sig
  type t = {
    logid : string;
    logout : Pervasives.out_channel;
    logfmt : Format.formatter;
    mutable logcmd : (string * string array) option;
    mutable files : string list;
  }
  val create : Wpo.t -> string -> Prover.Logs.t
  val pp_command : Format.formatter -> string -> string array -> unit
  val pp_current : Format.formatter -> Prover.Logs.t -> unit
  val pp_status : Format.formatter -> int Task.status -> unit
  val command : Prover.Logs.t -> string -> string array -> unit
  val add_file : Prover.Logs.t -> string -> unit
  val log_status : Prover.Logs.t -> int Task.status -> unit
  val is_error : ?status:int list -> int Task.status -> bool
  val output :
    Prover.Logs.t -> ?status:int list -> Buffer.t -> int Task.status -> unit
  val clean : string list -> unit
  val close_out : Prover.Logs.t -> unit
  val close : Prover.Logs.t -> unit
end