val pp_term: (string -> unit) -> Layer.status -> Crg.term -> unit
val pp_lenv: (string -> unit) -> Layer.status -> Crg.lenv -> unit
val pp_term: (string -> unit) -> Layer.status -> Crg.term -> unit
val pp_lenv: (string -> unit) -> Layer.status -> Crg.lenv -> unit