val ppcontext: ?sep: string -> Cic.substitution -> Cic.context -> string
val ppterm_in_context:
Cic.substitution -> Cic.term -> (Cic.name option) list -> string
val ppcontext: ?sep: string -> Cic.substitution -> Cic.context -> string
val ppterm_in_context:
Cic.substitution -> Cic.term -> (Cic.name option) list -> string