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