Module Prover.Log


module Log: sig .. end

type t = Pervasives.out_channel * Format.formatter 
val current : (string * string array) option Pervasives.ref
val create : Wpo.t -> Pervasives.out_channel * Format.formatter
val pp_command : Format.formatter -> string -> string array -> unit
val command : 'a * Format.formatter -> string -> string array -> unit
val pp_current : Format.formatter -> unit
val pp_status : Format.formatter -> int Task.status -> unit
val status : 'a * Format.formatter -> int Task.status -> unit
val is_error : int Task.status -> bool
val output : 'a * Format.formatter -> Buffer.t -> int Task.status -> unit
val close : Pervasives.out_channel * Format.formatter -> unit