module Why3_xml:sig
..end
type
element = {
|
name : |
|
attributes : |
|
elements : |
val pretty : Stdlib.Format.formatter -> element -> unit
type
t = {
|
version : |
|
encoding : |
|
doctype : |
|
dtd : |
|
content : |
exception Parse_error of string
val from_file : string -> t
returns the list of XML elements from the given file.
raise Sys_error
if the file cannot be opened.
raise Parse_error
if the file does not follow XML syntax