module Why3_xml: sig .. end
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
type
|
name : string; |
|
attributes : (string * string) list; |
|
elements : element list; |
}
val pretty : Format.formatter -> element -> unit
type
|
version : string; |
|
encoding : string; |
|
doctype : string; |
|
dtd : string; |
|
content : element; |
}
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