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