(** {2 Pretty printers} *)
val ppsubst_unfolded: Cic.substitution -> string
val ppsubst: Cic.substitution -> string
val ppterm: Cic.substitution -> Cic.term -> string
val ppcontext: ?sep: string -> Cic.substitution -> Cic.context -> string
(** {2 Pretty printers} *)
val ppsubst_unfolded: Cic.substitution -> string
val ppsubst: Cic.substitution -> string
val ppterm: Cic.substitution -> Cic.term -> string
val ppcontext: ?sep: string -> Cic.substitution -> Cic.context -> string