From f49890e12d7eb6a766b966438cd475f7cbf5081b Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 8 Oct 2026 00:59:05 -0300 Subject: rework evaluators and add schema scope --- lib/kernel/Path.mli | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'lib/kernel/Path.mli') diff --git a/lib/kernel/Path.mli b/lib/kernel/Path.mli index e331b3a..e95505d 100644 --- a/lib/kernel/Path.mli +++ b/lib/kernel/Path.mli @@ -7,6 +7,10 @@ val to_list : t -> string list val to_string : t -> string val lookup : Protocols.Handle.t -> t -> (Protocols.Handle.t, Concepts.Condition.condition) result +(** what [path] reaches, or [None] when some part of it is not there. *) +val find : + Protocols.Handle.t -> t -> (Protocols.Handle.t option, Concepts.Condition.condition) result + val update : Protocols.Handle.t -> t -> @@ -25,7 +29,9 @@ val assoc : (Protocols.Handle.t, Concepts.Condition.condition) result (** every change of [assoc] at once: each object on the way is derived - once, so the changes to a branch land as one successor state. *) + once, so the changes to a branch land as one successor state. An + object on the way that is not there yet is handed to its parent as a + directory of what the changes put in it. *) val assoc_all : Protocols.Handle.t -> (t * string * Protocols.Handle.t option) list -> -- cgit v1.2.3