aboutsummaryrefslogtreecommitdiff
path: root/lib/xml.mli
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/xml.mli13
1 files changed, 0 insertions, 13 deletions
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