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