Module Dynamic_plugins.Wp.Wpo

module Wpo: sig .. end

type result 
type prover 
type po 
val iter_on_goals : (po -> unit) -> unit
val is_valid : result -> bool
val goals_of_property : Property.t -> po list
val get_result : po ->
prover -> result
val file_for_log_proof : po -> prover -> string * string
val prover_of_name : string -> prover option
val get_gid : po -> string
val get_property : po -> Property.t