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/backend/managers/Namespace.mli | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 lib/backend/managers/Namespace.mli

(limited to 'lib/backend/managers/Namespace.mli')

diff --git a/lib/backend/managers/Namespace.mli b/lib/backend/managers/Namespace.mli
deleted file mode 100644
index 1ee9651..0000000
--- a/lib/backend/managers/Namespace.mli
+++ /dev/null
@@ -1,9 +0,0 @@
-module Make (Store : Abstract.Storage.STORAGE) : sig
-  type tree = Object.rnt_object_tree
-
-  val resolve :
-    Store.transaction ->
-    tree ->
-    Concepts.Path.t ->
-    (Concepts.Path.t, Concepts.Condition.condition) result
-end
-- 
cgit v1.2.3