(* *)
(**************************************************************************)
-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 ->
+ 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