From b79224410f469a1cd4ff3be4f8e62d71398109fc Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Fri, 11 Sep 2026 04:06:52 +0000
Subject: Multigroup objects

---
 lib/kernel/Path.mli | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 lib/kernel/Path.mli

(limited to 'lib/kernel/Path.mli')

diff --git a/lib/kernel/Path.mli b/lib/kernel/Path.mli
new file mode 100644
index 0000000..85d0ca9
--- /dev/null
+++ b/lib/kernel/Path.mli
@@ -0,0 +1,6 @@
+type t
+
+val this : t
+val (@/) : string -> t -> t
+
+val lookup : Protocols.Handle.t -> t -> (Protocols.Handle.t option, Concepts.Condition.condition) result
-- 
cgit v1.2.3