exception Discard
+type uri = string
+type position = string
+type depth = int
+type sort = string
+
+type r_obj = (uri * position * depth option)
+type r_rel = (position * depth)
+type r_sort = (position * depth * sort)
+(*
+type r_obj = (string * string * int option)
+type r_rel = (string * int)
+type r_sort = (string * int * string)
+*)
+
+type must_restrictions = (r_obj list * r_rel list * r_sort list)
+type can_restrictions = (r_obj list option * r_rel list option * r_sort list option)
+
+
+
val set_log_file : string -> unit
(* the callback function must return false iff the query must be skipped *)
val locate : string -> MathQL.result
-val searchPattern : Cic.metasenv -> Cic.context -> Cic.term -> (string * bool) list -> (string * bool) list -> MathQL.result
+val searchPattern : must_restrictions -> can_restrictions -> MathQL.result
val get_query_info : unit -> string list