]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/sqlStatements.mli
fixed Makefile
[helm.git] / helm / ocaml / metadata / sqlStatements.mli
index caf1e037b50aa9650d4064a04db806b4449e2562..05fec142ca0a65c03e7ad3feac076065ffeee578 100644 (file)
@@ -1,7 +1,11 @@
 
 type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Owners| `Count]
 
-val create_tables: (string * tbl) list -> string
+val create_tables: (string * tbl) list -> string list
     
-val create_indexes: (string * tbl) list -> string
+val create_indexes: (string * tbl) list -> string list
+
+val drop_tables: (string * tbl) list -> string list
+
+val drop_indexes: (string * tbl) list -> string list