class runcoq :Inherits(Wp_parameters.Script.t * Wp_parameters.Script.t) list -> Wp_parameters.Script.t ->
object
..end
method failed : 'a. 'a Task.task
method compile : unit Task.task
method check : bool Task.task
method coqide : int Task.task