module Coqide: sig .. end
sig
end
val coqidelock : Task.mutex
Task.mutex
val run_coqide : Prover.Logs.t -> Wpo.t -> Wp_parameters.Script.t -> Prover.verdict Task.task
Prover.Logs.t -> Wpo.t -> Wp_parameters.Script.t -> Prover.verdict Task.task
val prove : Prover.Logs.t -> Wpo.t -> Prover.verdict Task.task
Prover.Logs.t -> Wpo.t -> Prover.verdict Task.task