Class ProverWhy3.why3

class why3 : prover:string -> pid:'a -> file:goal_id -> includes:string list -> logout:string -> logerr:string -> object .. end
Inherits
val mutable files : 'b list
val mutable error : error
val mutable valid : bool
val mutable limit : bool
val mutable time : float
method private time : float -> unit
method private error : ProverTask.pattern -> unit
method private unknown_prover : ProverTask.pattern -> unit
method private valid : ProverTask.pattern -> unit
method private limit : ProverTask.pattern -> unit
method result : int -> VCS.result
method prove : ?echo:bool -> unit -> int Task.task