generate HTML templates using XSLT starting from a bunch of .src files

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

diff --git a/helm/ocaml/cic_transformations/mpresentation.mli b/helm/ocaml/cic_transformations/mpresentation.mli
index 53eb9927e5ebaa2f69fb7111bf2bcb52035a1a9f..83f243e6d3ba440bb1ab988ef3a5afe0a107f786 100644 (file)
--- a/helm/ocaml/cic_transformations/mpresentation.mli
+++ b/helm/ocaml/cic_transformations/mpresentation.mli
@@ -57,17 +57,11 @@ type
   (* Enlivening Expressions *)
   | Maction of attr * mpres list
 
-and
+and row = Mtr of attr * mtd list
 
-  row = Mtr of attr * mtd list
+and mtd = Mtd of attr * mpres
 
-and 
-
-  mtd = Mtd of attr * mpres
-
-and
-  
-  attr = (string * string) list
+and attr = (string option * string * string) list
 
 ;;
 
@@ -79,6 +73,6 @@ val two_rows_table_with_brackets : attr -> mpres -> mpres -> mpres -> mpres
 val two_rows_table_without_brackets : attr -> mpres -> mpres -> mpres -> mpres
 val row_with_brackets : attr -> mpres -> mpres -> mpres -> mpres
 val row_without_brackets : attr -> mpres -> mpres -> mpres -> mpres
-val print_mpres :
-  mpres -> Xml.token Stream.t
+val print_mpres : mpres -> Xml.token Stream.t
+val document_of_mpres : mpres -> Xml.token Stream.t