-(* val ast_of_acic:
- (Cic.id, CicNotationPt.sort_kind) Hashtbl.t -> |+ id -> sort +|
- Cic.annterm -> |+ acic +|
- CicNotationPt.term |+ ast +|
- * (Cic.id, string) Hashtbl.t |+ id -> uri +| *)
+val ast_of_acic:
+ (Cic.id, CicNotationPt.sort_kind) Hashtbl.t -> (* id -> sort *)
+ Cic.annterm -> (* acic *)
+ CicNotationPt.term (* ast *)
+ * (Cic.id, string) Hashtbl.t (* id -> uri *)