X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2FcoercDb.mli;h=3071aecc4eb724064849f21da4fc8bcc8314d099;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=e1afd61aa0eb2cd3272da19819b9eefbc2bc9c24;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/components/library/coercDb.mli b/components/library/coercDb.mli
index e1afd61aa..3071aecc4 100644
--- a/components/library/coercDb.mli
+++ b/components/library/coercDb.mli
@@ -50,6 +50,10 @@ val to_list:
   unit -> 
     (coerc_carr * coerc_carr * (UriManager.uri * int) list) list
 
+type coerc_db
+val dump: unit -> coerc_db
+val restore: coerc_db -> unit
+
 val add_coercion:
   coerc_carr * coerc_carr * UriManager.uri * int -> unit