val initial_counters: counters
+IFDEF SUMMARY THEN
+
val count_command: (counters -> 'a) -> counters -> Aut.command -> 'a
val print_counters: (unit -> 'a) -> counters -> 'a
+IFDEF PREPROCESS THEN
+
val print_process_counters: (unit -> 'a) -> AutProcess.status -> 'a
+
+END
+
+END