From 0d7fa712f20bc02d20153e78704f59c89f8a5361 Mon Sep 17 00:00:00 2001 From: ยท๐‘‘๐‘ด๐‘•๐‘‘๐‘ฉ๐‘ค Date: Thu, 11 Dec 2025 20:48:32 +0000 Subject: add URI module --- lib/util.ml | 6 ------ 1 file changed, 6 deletions(-) (limited to 'lib/util.ml') diff --git a/lib/util.ml b/lib/util.ml index 985fc43..02b2ea2 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -189,12 +189,6 @@ module These = struct these f g (fun a b -> h (f a) (g b)) end -module URI = struct - let jsont : Uri.t Jsont.t = - Jsont.string - |> Jsont.map ~kind: "URI" ~dec: Uri.of_string ~enc: Uri.to_string -end - module Non_empty_list = struct type 'a t = ('a * 'a list) -- cgit v1.2.3