aboutsummaryrefslogtreecommitdiff
path: root/lib/xml.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/xml.ml')
-rw-r--r--lib/xml.ml6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/xml.ml b/lib/xml.ml
new file mode 100644
index 0000000..8b99049
--- /dev/null
+++ b/lib/xml.ml
@@ -0,0 +1,6 @@
+type element = {
+ namespace : string;
+ local_name : string;
+ attributes : (string * string) list;
+ children : (element, string) Either.t list;
+ }