(fun (s,t,u) ->
MatitaLog.debug
(UriManager.name_of_uri u ^ ":"
- ^ UriManager.name_of_uri s ^ " -> " ^ UriManager.name_of_uri t))
+ ^ CoercDb.name_of_carr s ^ " -> " ^ CoercDb.name_of_carr t))
(CoercDb.to_list ()));
addDebugItem "print top-level grammar entries"
CicNotationParser.print_l2_pattern;