X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fast2pres.mli;h=32531a23212644829f8d7dea590e35bb9296e320;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=dc370c2b930c64182d7d148f25eb6fd22b6d8526;hpb=ac0a12080b434bf0daafc08e9da240eb57f47280;p=helm.git

diff --git a/helm/ocaml/cic_transformations/ast2pres.mli b/helm/ocaml/cic_transformations/ast2pres.mli
index dc370c2b9..32531a232 100644
--- a/helm/ocaml/cic_transformations/ast2pres.mli
+++ b/helm/ocaml/cic_transformations/ast2pres.mli
@@ -32,6 +32,16 @@
 (*                                                                        *)
 (**************************************************************************)
 
+val maxsize : int
+
+val countterm : int -> CicAst.term -> int
+
+val pretty_append :
+  (CicAst.term Box.box) list ->
+  CicAst.term ->
+  (CicAst.term Box.box) list ->
+  (CicAst.term Box.box) list
+
 val ast2box:
   ?priority:int ->
   ?assoc:bool ->