Class ProverWhy3.why3detect

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