]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/diff.mli
generator patched
[helm.git] / helm / ocaml / mathql_interpreter / diff.mli
index d3a57f7083766d2878c8879a45a76c7772d0c7ad..1cd9cf4decf52634e454ab9a61f78eb06fd93abb 100644 (file)
@@ -23,4 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val diff_ex : string list list -> string list list -> string list list
+val diff_ex :
+ MathQL.resource_set -> MathQL.resource_set -> MathQL.resource_set