snopshot (working one!)

[helm.git] / components / library / coercDb.mli

diff --git a/components/library/coercDb.mli b/components/library/coercDb.mli
index e1afd61aa0eb2cd3272da19819b9eefbc2bc9c24..3071aecc4eb724064849f21da4fc8bcc8314d099 100644 (file)
--- 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