diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-03 12:51:56 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-03 12:51:56 -0600 |
| commit | f192457e19486cdfbc8ac62684d33ac4b6c82bc1 (patch) | |
| tree | 3007a6ca6f5c15a1248964d9dd4353ba6d40e281 /lib/xml.mli | |
| parent | 0bc5b9db320a2f5b12f597dfc4fdf12671f58939 (diff) | |
| download | wormhole-f192457e19486cdfbc8ac62684d33ac4b6c82bc1.tar.gz wormhole-f192457e19486cdfbc8ac62684d33ac4b6c82bc1.tar.bz2 wormhole-f192457e19486cdfbc8ac62684d33ac4b6c82bc1.zip | |
Add post and more
Diffstat (limited to '')
| -rw-r--r-- | lib/xml.mli | 13 |
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 |