X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fregistry%2Fhelm_registry.mli;h=77c6f6cc3143ea465d70a5f13fd141485a1e0ef8;hb=1652681b5eb49332f1c78e6c26d3ae5c7253d382;hp=1ef1aa3b7749c2ca6a913dc75ffcf6c0fe3f1f6a;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/registry/helm_registry.mli b/helm/software/components/registry/helm_registry.mli
index 1ef1aa3b7..77c6f6cc3 100644
--- a/helm/software/components/registry/helm_registry.mli
+++ b/helm/software/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} *)