]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/func.mli
MQueryInterpreter: interface updated
[helm.git] / helm / ocaml / mathql_interpreter / func.mli
index 2858ce0daffef5739fbff29ad7f3baac52486b1a..cdf3f1f003acf3fa104402c965ecb7984cb6c8c0 100644 (file)
@@ -23,4 +23,4 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val fun_ex: string -> MathQL.value -> MathQL.value
+val fun_ex: MQIConn.handle -> string -> MathQL.value -> MathQL.value