]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/relation.mli
debian version 0.4.3 (maybe, not tested)
[helm.git] / helm / ocaml / mathql_interpreter / relation.mli
index aa7c755098e43dc9dab04e757a465f0f2eb378c7..b32f36f3b5f36f4e81fec747d1cfc59db690be3d 100644 (file)
  * http://cs.unibo.it/helm/.
  *)
 
-val relation_ex :
- MathQL.refine_op -> MathQL.path -> MathQL.resource_set -> MathQL.vvar_list -> MathQL.resource_set
+val relation_ex : MQIConn.handle ->
+ bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> MathQL.assign list-> MathQL.resource_set
+
+
+val relation_galax_ex : MQIConn.handle ->
+bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> MathQL.assign list -> MathQL.resource_set
 
-val relation_galax_ex :
- MathQL.refine_op -> MathQL.path -> MathQL.resource_set -> MathQL.vvar_list -> MathQL.resource_set