]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/sqlStatements.mli
Huge commit for the release. Includes:
[helm.git] / components / metadata / sqlStatements.mli
index 9f9af55ef91d8b7b459bdaa45b7734d6fb86861c..90a6b64b4500d96600d6a1de9795a5c3a264aef4 100644 (file)
@@ -43,3 +43,8 @@ val rename_tables: (string * string) list -> string list
  * @param hits name of the hits table *)
 val fill_hits: string -> string -> string list
 
+(** move content [t1] [t2] [buri] 
+ *  moves all the tuples with 'source' that match regex '^buri' from t1 to t2
+ *  *)
+val move_content: (string * tbl) -> (string * tbl) -> string -> string
+