X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Fhelm_registry.mli;h=e108ff01dd190e618a93a2a93abba2bafdd44ff3;hb=dfdf5642131761008f0b0430594a83d45ab62789;hp=a6b51271bf48610552deb61f2c49f539c6ac5dd9;hpb=7045d093d2421fd69ae87e7575f48e0005e5600c;p=helm.git

diff --git a/helm/ocaml/registry/helm_registry.mli b/helm/ocaml/registry/helm_registry.mli
index a6b51271b..e108ff01d 100644
--- a/helm/ocaml/registry/helm_registry.mli
+++ b/helm/ocaml/registry/helm_registry.mli
@@ -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