val print_inner_types :
UriManager.uri ->
ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
ids_to_inner_types: (string, Cic2acic.anntypes) Hashtbl.t ->
ask_dtd_to_the_getter:bool ->
val print_inner_types :
UriManager.uri ->
ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
ids_to_inner_types: (string, Cic2acic.anntypes) Hashtbl.t ->
ask_dtd_to_the_getter:bool ->