structurated attribute names added

[helm.git] / helm / ocaml / mathql_interpreter / relation.mli

diff --git a/helm/ocaml/mathql_interpreter/relation.mli b/helm/ocaml/mathql_interpreter/relation.mli
index 392d670cf5564dbbc72a5e9931c9a22ee8c5826f..4a9d181e1e0e77e7c96e3ea38f89d1730b7eb2ab 100644 (file)
--- a/helm/ocaml/mathql_interpreter/relation.mli
+++ b/helm/ocaml/mathql_interpreter/relation.mli
@@ -24,4 +24,7 @@
  *)
 
 val relation_ex :
- MathQL.refine_op -> MathQL.path -> MathQL.resource_set -> MathQL.vvar_list -> MathQL.resource_set
+ MathQL.refine -> MathQL.path -> MathQL.resource_set -> string list -> MathQL.resource_set
+
+val relation_galax_ex :
+ MathQL.refine -> MathQL.path -> MathQL.resource_set -> string list -> MathQL.resource_set