* http://cs.unibo.it/helm/.
*)
-val relation_ex :
+val relation_ex : MQIConn.handle ->
bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> MathQL.assign list-> MathQL.resource_set
-val relation_galax_ex :
+val relation_galax_ex : MQIConn.handle ->
bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> MathQL.assign list -> MathQL.resource_set