*)
val ast_of_acic :
- (Cic.id, string) Hashtbl.t -> (* id -> sort *)
- (Cic.id, string) Hashtbl.t -> (* id -> uri *)
+ (Cic.id, Cic2acic.sort_kind) Hashtbl.t -> (* id -> sort *)
(*
+ (Cic.id, string) Hashtbl.t -> (* id -> uri *)
(string,
Cic.id -> Cic.id -> Cic.annterm list -> (Cic.annterm -> CicAst.term) ->
CicAst.term)
Hashtbl.t ->
*)
- Cic.annterm -> CicAst.term * (Cic.id, string) Hashtbl.t
+ Cic.annterm ->
+ CicAst.term * (Cic.id, string) Hashtbl.t (* ast, id -> uri *)