]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.mli
added iterators over registry contents (fold, iter, to_list)
[helm.git] / helm / ocaml / registry / helm_registry.mli
index 1f40b5453fa0e352b859e352b41b4b9426d53c23..62e85c5f1aaf65d9590866d2289ff03eb000baae 100644 (file)
@@ -108,6 +108,10 @@ val set: key:string -> value:string -> unit
    * raise Key_not_found until the key will be redefined *)
 val unset: string -> unit
 
+val fold: ('a -> string -> string -> 'a) -> 'a -> 'a
+val iter: (string -> string -> unit) -> unit
+val to_list: unit -> (string * string) list
+
 (** {2 Typed interface}
  * Three basic types are supported: strings, int and strings list. Strings
  * correspond literally to what is written inside double quotes; int to the