From 5a6af8a74895b548ed39649aef4a09fb53b4dbbc Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Sat, 24 Oct 2026 01:49:53 +0000
Subject: Avoid implementing `Directory` inline?

---
 lib/kernel/Prototype.mli | 4 ++++
 1 file changed, 4 insertions(+)

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

diff --git a/lib/kernel/Prototype.mli b/lib/kernel/Prototype.mli
index 9c446fc..ec1f08e 100644
--- a/lib/kernel/Prototype.mli
+++ b/lib/kernel/Prototype.mli
@@ -6,6 +6,10 @@ val mixture : Protocols.Handle.protocol list -> Protocols.Handle.t
 module Directory : sig
   val of_properties : (string * Protocols.Handle.t) list -> Protocols.Handle.protocol
 
+  val of_properties' :
+    (string * (unit -> (Protocols.Handle.t option, Concepts.Condition.condition) result)) list ->
+    Protocols.Handle.protocol
+
   (** the names a directory lists, and what each reaches. *)
   val children :
     Protocols.Handle.t -> ((string * Protocols.Handle.t) list, Concepts.Condition.condition) result
-- 
cgit v1.2.3