exception Discard
-type levels_spec = (string * bool * int) list
+type uri = string
+type position = string
+type depth = int option
+type sort = string
+
+type r_obj = (uri * position * depth)
+type r_rel = (position * depth)
+type r_sort = (position * depth * sort)
+
+type must_restrictions = (r_obj list * r_rel list * r_sort list)
+type only_restrictions =
+ (r_obj list option * r_rel list option * r_sort list option)
-val levels_of_term : Cic.metasenv -> Cic.context -> Cic.term -> levels_spec
-val string_of_levels : levels_spec -> string -> string
val set_log_file : string -> unit
val locate : string -> MathQL.result
-val backward : Cic.metasenv -> Cic.context -> Cic.term -> int -> MathQL.result
+val searchPattern : must_restrictions -> only_restrictions -> MathQL.result
val get_query_info : unit -> string list