MathQL.ml updated

[helm.git] / helm / ocaml / mathql / mathQL.ml

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 04eb3b32d30e7900e854dd2cec055d81f5bcc346..61a7646aa6261d842ff07fa38e8fd84906f04f27 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -68,11 +68,13 @@ type refine = RefineExact
             | RefineSub
            | RefineSuper
 
+type assign = path * path 
+
 type set_exp = SVar of svar
             | RVar of rvar
              | Ref of val_exp
              | Pattern of val_exp
-            | Relation of inverse * refine * path * set_exp * string list
+            | Relation of inverse * refine * path * set_exp * assign list
              | Select of rvar * set_exp * boole_exp
             | Union of set_exp * set_exp
             | Intersect of set_exp * set_exp
@@ -94,7 +96,7 @@ and val_exp = Const of string list
             | RefOf of set_exp 
            | Record of rvar * path
            | VVar of vvar
-           | Attribute of inverse * refine * path * val_exp
+           | Property of inverse * refine * path * val_exp
            | Fun of string * val_exp
 
 type query = set_exp