X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FsqlStatements.mli;h=90a6b64b4500d96600d6a1de9795a5c3a264aef4;hb=64afac782fe3bd83dbc2f9295481362f1edc8e68;hp=9f9af55ef91d8b7b459bdaa45b7734d6fb86861c;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git diff --git a/helm/software/components/metadata/sqlStatements.mli b/helm/software/components/metadata/sqlStatements.mli index 9f9af55ef..90a6b64b4 100644 --- a/helm/software/components/metadata/sqlStatements.mli +++ b/helm/software/components/metadata/sqlStatements.mli @@ -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 +