ids_to_inner_sorts: (string, string) Hashtbl.t ->
Cic.annterm -> Xml.token Stream.t
val print_object :
UriManager.uri ->
ids_to_inner_sorts: (string, string) Hashtbl.t ->
ids_to_inner_sorts: (string, string) Hashtbl.t ->
Cic.annterm -> Xml.token Stream.t
val print_object :
UriManager.uri ->
ids_to_inner_sorts: (string, string) Hashtbl.t ->