module ProverWhy3ide: sig .. end
sig
end
val run : includes:string list -> files:string list -> session:string -> bool Task.task
includes:string list -> files:string list -> session:string -> bool Task.task
val prove : ?callback:(Wpo.t -> VCS.prover -> VCS.result -> unit) -> iter:((Wpo.t -> unit) -> unit) -> unit Task.task
?callback:(Wpo.t -> VCS.prover -> VCS.result -> unit) -> iter:((Wpo.t -> unit) -> unit) -> unit Task.task