Initial revision

[helm.git] / helm / xmltheory / XmlTheory / iXml.mli

diff --git a/helm/xmltheory/XmlTheory/iXml.mli b/helm/xmltheory/XmlTheory/iXml.mli
new file mode 100644 (file)
index 0000000..11fad82
--- /dev/null
+++ b/helm/xmltheory/XmlTheory/iXml.mli
@@ -0,0 +1,7 @@
+exception NoOpenNonEmptyElements
+
+val reset_output : string -> unit
+val output : Xml.token Stream.t -> unit
+val open_non_empty_element : string -> (string * string) list -> unit
+val close_non_empty_element : unit -> unit
+val print_output : unit -> unit