NCic.term -> string
val ppcontext:
+ ?sep:string ->
subst:NCic.substitution ->
metasenv:NCic.metasenv ->
NCic.context -> string
+val ppmetasenv:
+ subst:NCic.substitution -> NCic.metasenv -> string
+
+val ppsubst: metasenv:NCic.metasenv -> NCic.substitution -> string
+
val ppobj: NCic.obj -> string