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