* http://cs.unibo.it/helm/.
*)
-exception ImpossiblePossible
exception NotImplemented
val print_term :
- ids_to_inner_sorts: (string, string) Hashtbl.t ->
- Cic.annterm -> Xml.token Stream.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, string) 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
+ Cic.annobj ->
+ Xml.token Stream.t * Xml.token Stream.t option
val print_inner_types :
UriManager.uri ->
- ids_to_inner_sorts: (string, string) Hashtbl.t ->
+ 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 ->
- Xml.token Stream.t
+ Xml.token Stream.t
+