module ProverTask: sig
.. end
never fails
class printer : Format.formatter -> string ->
object
.. end
class type pattern = object
.. end
never fails
class group : string ->
object
.. end
val validate_pattern : 'a * bool * (pattern -> 'b) ->
< get_after : ?offset:int -> int -> string; get_float : int -> float;
get_int : int -> int; get_string : int -> string; next : 'c;
search : 'a -> 'c -> 'd; .. > ->
'c -> unit
val validate_buffer : Buffer.t -> (Str.regexp * bool * (pattern -> 'a)) list -> unit
val dump_buffer : Buffer.t -> string option -> unit
val echo_buffer : Buffer.t -> unit
val location : string -> int -> Lexing.position
val pp_file : message:string -> file:string -> unit
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
*\\)"
type
logs = [ `BOTH | `ERR | `OUT ]
val is_out : [< `BOTH | `ERR | `OUT ] -> bool
val is_err : [< `BOTH | `ERR | `OUT ] -> bool
val is_opt : string -> bool
val pp_args : Format.formatter -> string list -> unit
class command : string ->
object
.. end
val server : unit -> Task.server
val server : unit -> Task.server
val spawn : bool Task.task list -> unit
Spawn all the tasks over the server and retain the first 'validated' one