X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fast2pres.mli;h=5b0e5a7403098a38ccd9064dad47a860ac897e6b;hb=bbe7741f3bbaacb93f2876c018dace82f5e929b8;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..5b0e5a740 100644
--- a/helm/ocaml/cic_transformations/ast2pres.mli
+++ b/helm/ocaml/cic_transformations/ast2pres.mli
@@ -32,14 +32,23 @@
 (*                                                                        *)
 (**************************************************************************)
 
-val ast2box:
-  ?priority:int ->
-  ?assoc:bool ->
-  ?attr:CicAst.term_attribute list ->
-  CicAst.term -> CicAst.term Box.box
+val maxsize: int
+val countterm: int -> CicAst.term -> int
+val is_big: CicAst.term -> bool
 
+val ast2astBox:
+  ?unicode:bool -> ?priority:int -> ?assoc:bool -> ?tail:string list ->
+  CicAst.term * (Cic.id, string) Hashtbl.t ->
+    CicAst.term Box.box
 
-			  
+val ast2mpres:
+  ?priority:int -> ?assoc:bool -> 
+  CicAst.term * (Cic.id, string) Hashtbl.t ->
+    unit Mpresentation.mpres
 
+val add_xml_declaration: Xml.token Stream.t -> Xml.token Stream.t
 
+val ast2mpresXml:
+  CicAst.term * (Cic.id, string) Hashtbl.t ->
+    Xml.token Stream.t