(fun _ ->
prerr_endline
(ApplyTransformation.txt_of_cic_object 120 GrafiteAst.Declarative ""
+ ~map_unicode_to_tex:(Helm_registry.get_bool
+ "matita.paste_unicode_as_tex")
(match
(MatitaScript.current ())#grafite_status.GrafiteTypes.proof_status
with
List.iter
(fun (s,t,ul) ->
HLog.debug
- ((String.concat "," (List.map UriManager.name_of_uri ul)) ^ ":"
+ ((String.concat ","
+ (List.map
+ (fun u,saturations ->
+ UriManager.name_of_uri u ^
+ "(" ^ string_of_int saturations ^ ")")
+ ul)) ^ ":"
^ CoercDb.name_of_carr s ^ " -> " ^ CoercDb.name_of_carr t))
(CoercDb.to_list ()));
addDebugSeparator ();