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