module ProverErgo: sig .. end
sig
end
val dkey_cluster : Wp_parameters.category
Wp_parameters.category
val prove : config:VCS.config -> mode:VCS.mode -> Wpo.t -> VCS.result Task.task
config:VCS.config -> mode:VCS.mode -> Wpo.t -> VCS.result Task.task