From f192457e19486cdfbc8ac62684d33ac4b6c82bc1 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Sun, 3 Dec 2023 12:51:56 -0600
Subject: Add post and more

---
 lib/xml.mli | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 lib/xml.mli

(limited to 'lib/xml.mli')

diff --git a/lib/xml.mli b/lib/xml.mli
deleted file mode 100644
index e1d3eb9..0000000
--- a/lib/xml.mli
+++ /dev/null
@@ -1,13 +0,0 @@
-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