sig
  val valid : Str.regexp
  val prove :
    bool -> 'a * Format.formatter -> Wpo.t -> Prover.verdict Task.task
  val check :
    bool -> 'a * Format.formatter -> Wpo.t -> Prover.verdict Task.task
end