exception NotImplemented
val print_term :
- ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
+ ?ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
Cic.annterm ->
Xml.token Stream.t
val print_object :
UriManager.uri ->
- ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
+ ?ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
ask_dtd_to_the_getter:bool ->
Cic.annobj ->
Xml.token Stream.t * Xml.token Stream.t option