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