-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 : MQIConn.handle -> MathQL.query -> MathQL.result
-
-val locate : MQIConn.handle -> string -> MathQL.result
-
-val searchPattern : MQIConn.handle -> must_restrictions -> only_restrictions -> MathQL.result
-
-val get_query_info : unit -> string list