-val backward : Cic.metasenv -> Cic.context -> Cic.term -> int -> string
- (* BACKWARD query building function *)
+val set_log_file : string -> unit
+
+(* the callback function must return false iff the query must be skipped *)
+val set_confirm_query : (MathQL.query -> bool) -> unit
+
+val execute_query : MathQL.query -> MathQL.result
+
+val locate : string -> MathQL.result
+
+val backward : Cic.metasenv -> Cic.context -> Cic.term -> int -> MathQL.result
+
+val get_query_info : unit -> string list