X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmathQL.ml;h=b76bd4ed55631b81bb4e417e4a6ad3ea575a7743;hb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;hp=8ba562ab210648bea3c44a2c8cce9b9fd883093c;hpb=efdc3184ccd0738fe48aa0056fc444fba23329e8;p=helm.git

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 8ba562ab2..b76bd4ed5 100644
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -28,22 +28,15 @@
 
 (* output data structures ***************************************************)
 
-type path            = string list            (* the name of an attribute *)
+module I : Avs.Type = ListAvs
 
-type value           = string list            (* the value of an attribute *)
+type value = Avs.value (* a linearized attribute value *)
 
-type attribute       = path * value           (* an attribute *)
+type path = Avs.path   (* the name of an attribute *)
 
-type attribute_group = attribute list         (* a group of attributes *)
-
-type attribute_set   = attribute_group list   (* the attributes of an URI *)
-
-type resource        = string * attribute_set (* an attributed URI *)
-
-type resource_set    = resource list          (* the query result *)
-
-type result = resource_set
+type group = I.group (* an group of attribures *)
 
+type result = I.avs  (* the query result *)
 
 (* input data structures ****************************************************)
 
@@ -74,7 +67,7 @@ type source = bool
 type gen = GenFJoin (* full union - with attr handling *)
          | GenFMeet (* full intersection - with attr handling *)
 
-type query = Const of result
+type query = Const of (string * (path * query) list list) list
 	   | SVar of svar
 	   | AVar of avar
 	   | Dot of avar * path