X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fregistry%2Fhelm_registry.mli;h=77c6f6cc3143ea465d70a5f13fd141485a1e0ef8;hb=24dd4569daf1d35bffaa813b8164058d8643f14d;hp=1ef1aa3b7749c2ca6a913dc75ffcf6c0fe3f1f6a;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/registry/helm_registry.mli b/components/registry/helm_registry.mli
index 1ef1aa3b7..77c6f6cc3 100644
--- a/components/registry/helm_registry.mli
+++ b/components/registry/helm_registry.mli
@@ -132,6 +132,7 @@ val string:       string -> string
 val int:          string -> int
 val float:        string -> float
 val bool:         string -> bool
+val pair:         (string -> 'a) -> (string -> 'b) -> string -> 'a * 'b
 
 (** {3 Typed getters} *)