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