sig
  val valid : Str.regexp
  val prove : Prover.Logs.t -> Wpo.t -> Prover.verdict Task.task
  val check : Prover.Logs.t -> Wpo.t -> Prover.verdict Task.task
end