first moogle template checkin

[helm.git] / helm / ocaml / cic_transformations / ast2pres.mli

diff --git a/helm/ocaml/cic_transformations/ast2pres.mli b/helm/ocaml/cic_transformations/ast2pres.mli
index dc370c2b930c64182d7d148f25eb6fd22b6d8526..32531a23212644829f8d7dea590e35bb9296e320 100644 (file)
--- 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 ->