From 69d3f53365568524e18dfb1200a386309e174359 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Sat, 2 Dec 2023 09:49:42 -0600
Subject: Initial commit

---
 lib/xml.mli | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 lib/xml.mli

(limited to 'lib/xml.mli')

diff --git a/lib/xml.mli b/lib/xml.mli
new file mode 100644
index 0000000..e1d3eb9
--- /dev/null
+++ b/lib/xml.mli
@@ -0,0 +1,13 @@
+type xml = Tag of string * xml list | String of string
+
+val tag : string -> xml list -> xml
+val format : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
+
+val format_list :
+  ?pp_sep:(Format.formatter -> unit -> unit) ->
+  (Format.formatter -> 'a -> unit) ->
+  Format.formatter ->
+  'a list ->
+  unit
+
+val format_xml : Format.formatter -> xml -> unit
-- 
cgit v1.2.3