Frama-C API - ProverSearch
val first : ProofEngine.tree -> ?anchor:ProofEngine.node -> Strategy.t array -> ProofEngine.fork optionval index : ProofEngine.tree -> anchor:ProofEngine.node -> index:int -> ProofEngine.fork optionval search : ProofEngine.tree -> ?anchor:ProofEngine.node -> ?sequent:Conditions.sequent -> Strategy.heuristic list -> ProofEngine.fork optionval backtrack : ProofEngine.tree -> ?anchor:ProofEngine.node -> ?loop:bool -> ?width:int -> unit -> ProofEngine.fork option