X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcoercDb.mli;h=3071aecc4eb724064849f21da4fc8bcc8314d099;hb=6beda5aa100b617b75d88a5a519b5022c99208a0;hp=e1afd61aa0eb2cd3272da19819b9eefbc2bc9c24;hpb=5da42f6120f3075c3da8ab3082ead39ea57955fa;p=helm.git

diff --git a/helm/software/components/library/coercDb.mli b/helm/software/components/library/coercDb.mli
index e1afd61aa..3071aecc4 100644
--- a/helm/software/components/library/coercDb.mli
+++ b/helm/software/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