Module ProverTask

module ProverTask: sig .. end
never fails

class printer : Format.formatter -> string -> object .. end
val pp_file : message:string -> file:string -> unit
class type pattern = object .. end
never fails
val p_group : string -> string
Put pattern in group \(p\)
val p_int : string
Int group pattern \([0-9]+\)
val p_float : string
Float group pattern \([0-9.]+\)
val p_string : string
String group pattern "\(...\)"
val p_until_space : string
No space group pattern "\\(^ \t\n*\\)"
val location : string -> int -> Lexing.position
type logs = [ `BOTH | `ERR | `OUT ] 
class virtual command : string -> object .. end
val server : unit -> Task.server
val spawn : ?monitor:('a option -> unit) -> ('a * bool Task.task) list -> unit
Spawn all the tasks over the server and retain the first 'validated' one. The callback monitor is called with Some at first success, and None if none succeed.