From db968eccee931abc8ad00d74d152625a2ab3174e Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Sat, 22 Aug 2026 17:55:26 +0000
Subject: Tidy up

---
 lib/concepts/Path.ml | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 lib/concepts/Path.ml

(limited to 'lib/concepts/Path.ml')

diff --git a/lib/concepts/Path.ml b/lib/concepts/Path.ml
deleted file mode 100644
index c751301..0000000
--- a/lib/concepts/Path.ml
+++ /dev/null
@@ -1,16 +0,0 @@
-type t = string BatFingerTree.t
-
-let empty : t = BatFingerTree.empty
-let of_list (components : string list) : t = BatFingerTree.of_list components
-let to_list (path : t) : string list = BatFingerTree.to_list path
-let snoc (path : t) (component : string) : t = BatFingerTree.snoc path component
-let to_string (path : t) : string = String.concat "/" (to_list path)
-
-let is_prefix ~(prefix : t) (path : t) : bool =
-  let rec walk prefix path =
-    match prefix, path with
-    | [], _ -> true
-    | p :: prefix, x :: path -> p = x && walk prefix path
-    | _ :: _, [] -> false
-  in
-  walk (to_list prefix) (to_list path)
-- 
cgit v1.2.3