val initial_counters: counters
+IFDEF SUMMARY THEN
+
val count_entity: (counters -> 'a) -> counters -> Crg.entity -> 'a
val print_counters: (unit -> 'a) -> counters -> 'a
-val pp_term: (string -> unit) -> Level.status -> Crg.term -> unit
+END
+
+val pp_term: (string -> unit) -> Layer.status -> Crg.term -> unit
+
+val pp_lenv: (string -> unit) -> Layer.status -> Crg.lenv -> unit