]> 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 5e9d77ff375e991dda37609824cfb59fff34a57e..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