+
+let print_process_counters f c =
+ let f iao iar iac iag =
+ L.warn (P.sprintf " Automath process summary");
+ L.warn (P.sprintf " Implicit after opening: %7u" iao);
+ L.warn (P.sprintf " Implicit after reopening: %7u" iar);
+ L.warn (P.sprintf " Implicit after closing: %7u" iac);
+ L.warn (P.sprintf " Implicit after global: %7u" iag);
+ f ()
+ in
+ R.get_counters f c