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