(* *)
(**************************************************************************)
-val maxsize : int
+val maxsize: int
+val countterm: int -> CicAst.term -> int
+val is_big: CicAst.term -> bool
-val countterm : int -> CicAst.term -> int
+val ast2astBox:
+ ?unicode:bool -> ?priority:int -> ?assoc:bool -> ?tail:string list ->
+ CicAst.term * (Cic.id, string) Hashtbl.t ->
+ CicAst.term Box.box
-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 ->
- ?attr:CicAst.term_attribute list ->
- CicAst.term -> 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