X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fregistry%2Fhelm_registry.mli;h=29dd335faab474926b877f38d7d53864fda31f97;hb=9bdda2beaa7b0f836e3700a2e2458761e8eee06d;hp=77c6f6cc3143ea465d70a5f13fd141485a1e0ef8;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/registry/helm_registry.mli b/matita/components/registry/helm_registry.mli
index 77c6f6cc3..29dd335fa 100644
--- 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