val ppsubst: Cic.substitution -> string
val ppterm: Cic.substitution -> Cic.term -> string
val ppcontext: ?sep: string -> Cic.substitution -> Cic.context -> string
-val ppterm_in_context:
+val ppterm_in_name_context:
Cic.substitution -> Cic.term -> (Cic.name option) list -> string
+val ppterm_in_context:
+ Cic.substitution -> Cic.term -> Cic.context -> string
val ppmetasenv: ?sep: string -> Cic.substitution -> Cic.metasenv -> string
(** {2 Format-like pretty printers}