- improved support for case

[helm.git] / matita / components / binaries / matex / ground.mli

diff --git a/matita/components/binaries/matex/ground.mli b/matita/components/binaries/matex/ground.mli
index 90ef8ddd53333672c9b73f21fe632ff464764e82..9cc32beda5745c282c487fed54fc01d99b26c343 100644 (file)
--- a/matita/components/binaries/matex/ground.mli
+++ b/matita/components/binaries/matex/ground.mli
@@ -29,4 +29,6 @@ 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