]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/sortedby.mli
diff and sortedby implemented
[helm.git] / helm / ocaml / mathql_interpreter / sortedby.mli
index 6c01aa0e646243a383957d75d4a1446f30a71c57..863581a093a8b1733f2d6089c43826a7ea3be8c2 100644 (file)
@@ -24,4 +24,4 @@
  *)
 
 val sortedby_ex :
 string list list -> MathQL.mqorder -> MathQL.mqfunc -> string list list
Mathql_semantics.result -> MathQL.mqorder -> MathQL.mqfunc -> Mathql_semantics.result