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 : ?procs:int -> 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.