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