mQueryLevels2.mli added in Makefile.

[helm.git] / helm / gTopLevel / mQueryGenerator.mli

diff --git a/helm/gTopLevel/mQueryGenerator.mli b/helm/gTopLevel/mQueryGenerator.mli
index b1db11142a9c0920e63d16319d1b18a91d67f1c1..73cd77b195796aae2a62a1e433cec933ccd1e52e 100644 (file)
--- a/helm/gTopLevel/mQueryGenerator.mli
+++ b/helm/gTopLevel/mQueryGenerator.mli
@@ -44,6 +44,12 @@ 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 only_restrictions =
  (r_obj list option * r_rel list option * r_sort list option)