val print_counters: (unit -> 'a) -> counters -> 'a
-val specs: (Level.status, Brg.lenv, Brg.term) Log.specs
+val specs: (Layer.status, Brg.lenv, Brg.term) Log.specs
-val export_term: Level.status -> Brg.term -> XmlLibrary.pp
+val export_term: Layer.status -> Brg.term -> XmlLibrary.pp