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