]> matita.cs.unibo.it Git - helm.git/blob - helm/xmltheory/XmlTheory/iXml.mli
use a dummy location when no location is provided
[helm.git] / helm / xmltheory / XmlTheory / iXml.mli
1 exception NoOpenNonEmptyElements
2
3 val reset_output : string -> unit
4 val output : Xml.token Stream.t -> unit
5 val open_non_empty_element : string -> (string * string) list -> unit
6 val close_non_empty_element : unit -> unit
7 val print_output : unit -> unit