open Fol

val set_debug : bool -> unit

val proof_from_file : string -> Proof_type.tactic