porting to recent ocaml

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

diff --git a/matita/components/registry/helm_registry.mli b/matita/components/registry/helm_registry.mli
index 77c6f6cc3143ea465d70a5f13fd141485a1e0ef8..29dd335faab474926b877f38d7d53864fda31f97 100644 (file)
--- a/matita/components/registry/helm_registry.mli
+++ b/matita/components/registry/helm_registry.mli
@@ -133,6 +133,8 @@ val int:          string -> int
 val float:        string -> float
 val bool:         string -> bool
 val pair:         (string -> 'a) -> (string -> 'b) -> string -> 'a * 'b
+val triple:       (string -> 'a) -> (string -> 'b) -> (string -> 'c) -> string -> 'a * 'b * 'c
+val quad:         (string -> 'a) -> (string -> 'b) -> (string -> 'c) -> (string -> 'd) -> string -> 'a * 'b * 'c * 'd
 
 (** {3 Typed getters} *)
 
@@ -150,6 +152,12 @@ 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
 
+  (** decode values which are blank separated list of values, of length 3 *)
+val get_triple: (string -> 'a) -> (string -> 'b) -> (string -> 'c) -> string -> 'a * 'b * 'c
+
+  (** decode values which are blank separated list of values, of length 4 *)
+val get_quad: (string -> 'a) -> (string -> 'b) -> (string -> 'c) -> (string -> 'd) -> string -> 'a * 'b * 'c * 'd
+
 (** {4 Shorthands} *)
 
 val get_string: string -> string