added an 'a parameter to mpresentation type so that it and boxes could

[helm.git] / helm / ocaml / cic_transformations / cic2Xml.mli

diff --git a/helm/ocaml/cic_transformations/cic2Xml.mli b/helm/ocaml/cic_transformations/cic2Xml.mli
index b714469ec43fd1c790be7029a94f9e3c875237a1..47202dd01ce36a358cd6b7e564394da7e2a9e6cd 100644 (file)
--- a/helm/ocaml/cic_transformations/cic2Xml.mli
+++ b/helm/ocaml/cic_transformations/cic2Xml.mli
@@ -23,23 +23,24 @@
  * http://cs.unibo.it/helm/.
  *)
 
-exception ImpossiblePossible
 exception NotImplemented
 
 val print_term :
   ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
-  Cic.annterm -> Xml.token Stream.t
+  Cic.annterm ->
+    Xml.token Stream.t
 
 val print_object :
   UriManager.uri ->
   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, 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