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