]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/union.mli
Merge of the new_mathql branch with the main branch:
[helm.git] / helm / ocaml / mathql_interpreter / union.mli
index 967915d84880f1753de83b0ee2ebcff35795ba09..6890bdb0c88f197a16edde3c2864a7b7102d695e 100644 (file)
@@ -23,4 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val union_ex : string list list -> string list list -> string list list
+val union_ex :
+MathQL.result -> MathQL.result -> MathQL.result