type status
-val initial_status: status
+val initial_status: unit -> status
-val process_item: (status -> Aut.item -> 'a) -> status -> Aut.item -> 'a
+val process_command:
+ (status -> Aut.command -> 'a) -> status -> Aut.command -> 'a
-val get_counters: (int -> int -> int -> 'a) -> status -> 'a
+val get_counters: (int -> int -> int -> int -> 'a) -> status -> 'a