X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fng_kernel%2FnCicPp.mli;h=02b6c86423e805e0f4b54fb1cd5acb1c6b64abf3;hb=4112b9f87a555bfc4c3cd06bae652cd2382cad8b;hp=a01895678c0535b655ac4a3c7026d58cc616dd3d;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/ng_kernel/nCicPp.mli b/matita/components/ng_kernel/nCicPp.mli
index a01895678..02b6c8642 100644
--- a/matita/components/ng_kernel/nCicPp.mli
+++ b/matita/components/ng_kernel/nCicPp.mli
@@ -11,32 +11,13 @@
 
 (* $Id$ *)
 
-val set_head_beta_reduce: (upto:int -> NCic.term -> NCic.term) -> unit
-val set_get_obj: (NUri.uri -> NCic.obj) -> unit
+val r2s: #NCic.status -> bool -> NReference.reference -> string
 
-val r2s: bool -> NReference.reference -> string
+val string_of_flavour: NCic.def_flavour -> string
 
-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
 
 (* variants that use a formatter 
 module Format : sig