]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/sortedby.mli
new MathQL syntax
[helm.git] / helm / ocaml / mathql_interpreter / sortedby.mli
index ebed97055a85da8461a12e795e2222184172d33f..6c01aa0e646243a383957d75d4a1446f30a71c57 100644 (file)
@@ -24,4 +24,4 @@
  *)
 
 val sortedby_ex :
-  string list list -> Mathql.mqorder -> Mathql.mqfunc -> string list list
+  string list list -> MathQL.mqorder -> MathQL.mqfunc -> string list list