X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fcic2Xml.mli;h=22c5669df8bd2fef1df2b2e773dcbc7e289d048f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=0891d4996cc02e98c482db74168832b494ef2b6f;hpb=f7b2e35a7bdadb4fdf0e640428e694703ddf67a5;p=helm.git

diff --git a/helm/ocaml/cic_transformations/cic2Xml.mli b/helm/ocaml/cic_transformations/cic2Xml.mli
index 0891d4996..22c5669df 100644
--- a/helm/ocaml/cic_transformations/cic2Xml.mli
+++ b/helm/ocaml/cic_transformations/cic2Xml.mli
@@ -23,22 +23,24 @@
  * 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
+