* the transformations have been ported so to generate BoxML + MathML

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

diff --git a/helm/ocaml/cic_transformations/cexpr2pres.mli b/helm/ocaml/cic_transformations/cexpr2pres.mli
index 2bdba9e4d05bd5573e7a4bef3d27b4d0f5ed5f9f..376d459bee8ea594241d61c0d74998b49c784993 100644 (file)
--- a/helm/ocaml/cic_transformations/cexpr2pres.mli
+++ b/helm/ocaml/cic_transformations/cexpr2pres.mli
@@ -37,7 +37,7 @@ val symbol_table :
      Content_expressions.cexpr list -> 
      priority:int ->
      assoc:bool ->
-     tail:Mpresentation.mpres list ->
+     tail:string list ->
      (string option * string * string) list ->
      (string option * string * string) list ->
      Mpresentation.mpres
@@ -48,10 +48,10 @@ val symbol_table_charcount :
      Content_expressions.cexpr list -> 
      priority:int ->
      assoc:bool ->
-     tail:Mpresentation.mpres list ->
+     tail:string list ->
      (string option * string * string) list ->
      (string option * string * string) list ->
-     Mpresentation.mpres
+     Mpresentation.mpres Box.box
     ) Hashtbl.t
 
 val maxsize : int
@@ -59,12 +59,12 @@ val countterm :  int -> Content_expressions.cexpr -> int
 val cexpr2pres : 
     ?priority:int ->
     ?assoc:bool ->
-    ?tail:Mpresentation.mpres list ->
+    ?tail:string list ->
     Content_expressions.cexpr -> 
     Mpresentation.mpres
 val cexpr2pres_charcount : 
     ?priority:int ->
     ?assoc:bool ->
-    ?tail:Mpresentation.mpres list ->
+    ?tail:string list ->
     Content_expressions.cexpr -> 
-    Mpresentation.mpres
+    Mpresentation.mpres Box.box