- scope management completed

[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 e9892a7e0291646616160be942e17d1d5f3116cf..5c02eb9d1b929c795f471d53627f8225e41f31f4 100644 (file)
--- a/matita/components/binaries/matex/ground.mli
+++ b/matita/components/binaries/matex/ground.mli
@@ -15,9 +15,11 @@ val error: string -> 'a
 
 val log: string -> unit
 
+val id: 'a -> 'a
+
 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