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