val ppmetasenv:
subst:NCic.substitution -> NCic.metasenv -> string
-val ppsubst: metasenv:NCic.metasenv -> NCic.substitution -> string
+val ppsubst:
+ metasenv:NCic.metasenv -> ?use_subst:bool -> NCic.substitution -> string
val ppobj: NCic.obj -> string