]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_generator/mQueryGenerator.mli
This commit was manufactured by cvs2svn to create tag
[helm.git] / helm / ocaml / mathql_generator / mQueryGenerator.mli
index 9229290e86511633095facbd8fb1f65979c096f1..c94dbcdb87809d376738b63caaf08bdb5c8f02a9 100644 (file)
@@ -30,11 +30,11 @@ type sort = string
 
 type spec = MustObj  of uri list * position list * depth list
           | MustSort of sort list * position list * depth list
-          | MustRel  of position list * depth list
-          | OnlyObj  of uri list * position list * depth list
+         | MustRel  of position list * depth list
+         | OnlyObj  of uri list * position list * depth list
           | OnlySort of sort list * position list * depth list
-          | OnlyRel  of position list * depth list
-          | Universe of position list 
+         | OnlyRel  of position list * depth list
+         | Universe of position list 
 
 val locate  : string -> MathQL.query