val initial_counters: counters
-val count_unit: (counters -> 'a) -> counters -> Brg.unit -> 'a
+val count_entity: (counters -> 'a) -> counters -> Brg.entity -> 'a
val print_counters: (unit -> 'a) -> counters -> 'a
val specs: (Brg.lenv, Brg.term) Log.specs
-val export_entry: Format.formatter -> Brg.bind Unit.entry -> unit
+val export_entry: Format.formatter -> Brg.bind Entity.entry -> unit