]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/select.ml
After Union and Relation
[helm.git] / helm / ocaml / mathql_interpreter / select.ml
index c25ea26254fb9efaa45709efb7818d62a1bf5d71..960a0a2ba977d91911654a23e92ea2cf81871b20 100644 (file)
@@ -26,7 +26,7 @@
 (*
  * implementazione del comando SELECT
  *)
-
+(*
 open MathQL;;
 open Func;;
 open Utility;;
@@ -147,4 +147,7 @@ let select_ex env avar alist abool =
    print_endline (string_of_float (Unix.time () -. t) ^ "s") ;
    flush stdout ;
    result
-;;
+;; *)
+
+let select_ex rvar rset bexp
+