added default for matita.noiinertypes

[helm.git] / components / registry / helm_registry.mli

diff --git a/components/registry/helm_registry.mli b/components/registry/helm_registry.mli
index 1ef1aa3b7749c2ca6a913dc75ffcf6c0fe3f1f6a..77c6f6cc3143ea465d70a5f13fd141485a1e0ef8 100644 (file)
--- 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} *)