val initial_counters: counters
+IFDEF SUMMARY THEN
+
val count_entity: (counters -> 'a) -> counters -> Brg.entity -> 'a
val print_counters: (unit -> 'a) -> counters -> 'a
+END
+
val specs: (Layer.status, Brg.lenv, Brg.term) Log.specs
+IFDEF OBJECTS THEN
+
val export_term: Layer.status -> Brg.term -> XmlLibrary.pp
+
+END