]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.mli
- no longer needs PXP
[helm.git] / helm / ocaml / registry / helm_registry.mli
index a6b51271bf48610552deb61f2c49f539c6ac5dd9..e108ff01dd190e618a93a2a93abba2bafdd44ff3 100644 (file)
@@ -108,9 +108,20 @@ val has: string -> bool
    * raise Key_not_found until the key will be redefined *)
 val unset: string -> unit
 
-val fold: ?prefix:string -> ('a -> string -> string -> 'a) -> 'a -> 'a
-val iter: ?prefix:string -> (string -> string -> unit) -> unit
-val to_list: ?prefix:string -> unit -> (string * string) list
+  (** @param interpolate defaults to true *)
+val fold:
+  ?prefix:string -> ?interpolate:bool ->
+    ('a -> string -> string -> 'a) -> 'a -> 'a
+
+  (** @param interpolate defaults to true *)
+val iter:
+  ?prefix:string -> ?interpolate:bool -> 
+    (string -> string -> unit) -> unit
+
+  (** @param interpolate defaults to true *)
+val to_list:
+  ?prefix:string -> ?interpolate:bool ->
+    unit -> (string * string) list
 
   (** @param prefix key representing the section whose contents should be listed
   * @return section list * key list *)
@@ -207,9 +218,13 @@ class registry: ?path: string list -> string ->
     method set: key:string -> value:string -> unit
     method has: string -> bool
     method unset: string -> unit
-    method fold: ?prefix:string -> ('a -> string -> string -> 'a) -> 'a -> 'a
-    method iter: ?prefix:string -> (string -> string -> unit) -> unit
-    method to_list: ?prefix:string -> unit -> (string * string) list
+    method fold:
+      ?prefix:string -> ?interpolate:bool ->
+        ('a -> string -> string -> 'a) -> 'a -> 'a
+    method iter:
+      ?prefix:string -> ?interpolate:bool -> (string -> string -> unit) -> unit
+    method to_list:
+      ?prefix:string -> ?interpolate:bool -> unit -> (string * string) list
     method ls: string -> string list * string list
     method get_string: string -> string
     method get_int: string -> int