* http://cs.unibo.it/helm/.
*)
-(******************************************************************************)
-(* *)
-(* PROJECT HELM *)
-(* *)
-(* Ferruccio Guidi <fguidi@cs.unibo.it> *)
-(* 30/04/2002 *)
-(* *)
-(* *)
-(******************************************************************************)
-
-exception Discard
-
type uri = string
type position = string
type depth = int option
type only_restrictions =
(r_obj list option * r_rel list option * r_sort list option)
+val locate : string -> MathQL.query
+val searchPattern : must_restrictions -> only_restrictions -> MathQL.query
-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
+val builtin : MathQL.vvar -> string