module Prover: sig
.. end
Different instance of why3ide can't be run simultanely
val prove : Wpo.t ->
?mode:VCS.mode ->
?start:(Wpo.t -> unit) ->
?callin:(Wpo.t -> VCS.prover -> unit) ->
?callback:(Wpo.t -> VCS.prover -> VCS.result -> unit) ->
VCS.prover -> bool Task.task
val spawn : Wpo.t ->
?start:(Wpo.t -> unit) ->
?callin:(Wpo.t -> VCS.prover -> unit) ->
?callback:(Wpo.t -> VCS.prover -> VCS.result -> unit) ->
?success:(Wpo.t -> VCS.prover option -> unit) ->
(VCS.mode * VCS.prover) list -> unit
val wp_why3ide : ?callback:(Wpo.S.Hashtbl.key -> VCS.prover -> VCS.result -> unit) ->
((Wpo.t -> unit) -> unit) -> unit Task.task