-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