type cic_id = string
-type term_info =
- { sort: (cic_id, Ast.sort_kind) Hashtbl.t;
- uri: (cic_id, NReference.reference) Hashtbl.t;
- }
-
module IntMap = Map.Make(struct type t = int let compare = compare end);;
module StringMap = Map.Make(String);;