class why3detect : (dp list option -> unit) -> object .. end
(dp list option -> unit) ->
object
end
ProverTask.command
val mutable dps : dp list
dp list
method result : int -> unit
int -> unit
method prover : ProverTask.pattern -> unit
ProverTask.pattern -> unit
method detect : unit Task.task
unit Task.task