type uri = string
type position = string
-type depth = int
+type depth = int option
type sort = string
-type r_obj = (uri * position * depth option)
+type r_obj = (uri * position * depth)
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)
+type only_restrictions =
+ (r_obj list option * r_rel list option * r_sort list option)
val locate : string -> MathQL.result
-val searchPattern : must_restrictions -> can_restrictions -> MathQL.result
+val searchPattern : must_restrictions -> only_restrictions -> MathQL.result
val get_query_info : unit -> string list