]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/sqlStatements.mli
more friendly sqlStatements api
[helm.git] / helm / ocaml / metadata / sqlStatements.mli
index caf1e037b50aa9650d4064a04db806b4449e2562..d7321513450e82abf866ff3c702172b516172270 100644 (file)
@@ -1,7 +1,7 @@
 
 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