-val ppterm:
- context:NCic.context ->
- subst:NCic.substitution ->
- metasenv:NCic.metasenv ->
- ?margin:int ->
- ?inside_fix:bool ->
- 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 -> ?use_subst:bool -> NCic.substitution -> string
-
-val ppobj: NCic.obj -> string
+(* low-level pretty printer;
+ all methods are meant to be overridden in ApplyTransformation *)
+class status: NCic.cstatus