]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/func.mli
debian version 0.4.3 (maybe, not tested)
[helm.git] / helm / ocaml / mathql_interpreter / func.mli
index fb68df82a69bfde4e7060fb874f1adb26a69edb1..cdf3f1f003acf3fa104402c965ecb7984cb6c8c0 100644 (file)
@@ -23,4 +23,4 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val apply_func: MathQL.mqfunc -> string -> string
+val fun_ex: MQIConn.handle -> string -> MathQL.value -> MathQL.value