NCic.term -> string) -> unit
val ppterm:
- ?context:NCic.context ->
- ?subst:NCic.substitution ->
- ?metasenv:NCic.metasenv ->
+ context:NCic.context ->
+ subst:NCic.substitution ->
+ metasenv:NCic.metasenv ->
NCic.term -> string
val trivial_pp_term:
subst:NCic.substitution ->
metasenv:NCic.metasenv ->
NCic.term -> string
+
+val ppobj: NCic.obj -> string