]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / registry / helm_registry.mli
index 1f7fd0b56dcb70ab8e8dd0c82ee292abb920588a..1ef1aa3b7749c2ca6a913dc75ffcf6c0fe3f1f6a 100644 (file)
@@ -194,3 +194,6 @@ val save_to: string -> unit
    *)
 val load_from: ?path:string list -> string -> unit
 
+  (** removes all keys *)
+val clear: unit -> unit 
+