X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Fhelm_registry.mli;h=1f7fd0b56dcb70ab8e8dd0c82ee292abb920588a;hb=bbe7741f3bbaacb93f2876c018dace82f5e929b8;hp=e9ee901e84dc8566ae4a627e1403044fc927f1cf;hpb=1bb2cfafdfd2a3648ca8d2eac8b1952210fc5e65;p=helm.git

diff --git a/helm/ocaml/registry/helm_registry.mli b/helm/ocaml/registry/helm_registry.mli
index e9ee901e8..1f7fd0b56 100644
--- a/helm/ocaml/registry/helm_registry.mli
+++ b/helm/ocaml/registry/helm_registry.mli
@@ -88,11 +88,6 @@ exception Malformed_key of string
    *)
 exception Parse_error of string * int * int * string
 
-  (** raised when a given <key,value> pair fails validity test(s)
-   * @param pair <key,value> pair
-   * @param descr description of the failed test *)
-exception Invalid_value of (string * string) * string
-
 (** {2 Generic untyped interface}
  * Using the functions below this module could be used as a repository of
  * key/value pairs *)
@@ -151,6 +146,9 @@ val get_opt_default: (string -> 'a) -> default:'a -> string -> 'a
   (** never fails with Key_not_found, instead return the empty list *)
 val get_list: (string -> 'a) -> string -> 'a list
 
+  (** decode values which are blank separated list of values, of length 2 *)
+val get_pair: (string -> 'a) -> (string -> 'b) -> string -> 'a * 'b
+
 (** {4 Shorthands} *)
 
 val get_string: string -> string