X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fground.mli;h=923ec58b7bab7e0e88cd381c92261a9328a504e9;hb=df7a2aa19e98dc28e7f22129275a175cead49e2d;hp=e9892a7e0291646616160be942e17d1d5f3116cf;hpb=ea6b4322051d3eb1794bfca3928f6e1773f971ba;p=helm.git

diff --git a/matita/components/binaries/matex/ground.mli b/matita/components/binaries/matex/ground.mli
index e9892a7e0..923ec58b7 100644
--- a/matita/components/binaries/matex/ground.mli
+++ b/matita/components/binaries/matex/ground.mli
@@ -15,9 +15,13 @@ val error: string -> 'a
 
 val log: string -> unit
 
+val id: 'a -> 'a
+
+val id2: 'a -> 'b -> 'a * 'b
+
 val segments_of_string: string list -> int -> string -> string list
 
-val rev_concat: string -> string -> string list -> string
+val rev_map_concat: ('a -> string) -> string -> string -> 'a list -> string
 
 val fold_string: ('a -> char -> 'a) -> 'a -> string -> 'a
 
@@ -25,4 +29,8 @@ val rev_neg_filter : ('a -> bool) -> 'a list -> 'a list -> 'a list
 
 val foldi_left: (int -> 'a -> 'b -> 'a) -> int -> 'a -> 'b list -> 'a 
 
+val rev_mapi: (int -> 'b -> 'a) -> int -> 'b list -> 'a list
+
 val rev_map_append: ('a -> 'b) -> 'a list -> 'b list -> 'b list
+
+val split_at: int -> 'a list -> 'a list * 'a list