UriManager.uri ->
ids_to_inner_sorts: (string, string) Hashtbl.t ->
ids_to_inner_types: (string, Cic2acic.anntypes) Hashtbl.t ->
UriManager.uri ->
ids_to_inner_sorts: (string, string) Hashtbl.t ->
ids_to_inner_types: (string, Cic2acic.anntypes) Hashtbl.t ->