]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/sqlStatements.mli
added DROP statements to sqlStatements
[helm.git] / helm / ocaml / metadata / sqlStatements.mli
index d7321513450e82abf866ff3c702172b516172270..05fec142ca0a65c03e7ad3feac076065ffeee578 100644 (file)
@@ -5,3 +5,7 @@ val create_tables: (string * tbl) list -> string list
     
 val create_indexes: (string * tbl) list -> string list
 
+val drop_tables: (string * tbl) list -> string list
+
+val drop_indexes: (string * tbl) list -> string list
+