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