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/Prototype.mli | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'lib/kernel/Prototype.mli') diff --git a/lib/kernel/Prototype.mli b/lib/kernel/Prototype.mli index db22b63..5f0e29e 100644 --- a/lib/kernel/Prototype.mli +++ b/lib/kernel/Prototype.mli @@ -32,13 +32,23 @@ module Associative : sig Protocols.Handle.t option -> (Protocols.Handle.t, Concepts.Condition.condition) result + (** how a value is stored once a write has begun, giving its address. *) + type 'tx admission = 'tx -> (Concepts.Hash.hash, Concepts.Condition.condition) result + module OfTree (S : Abstract.Storage.STORAGE) (K : Merkle.KEY with type t = string) : sig module Tree : module type of Merkle.Make (S) (K) + (** a value bound under a key must have an address, unless [admit] + can read it, before the write begins, into an admission. *) val make : + ?admit: + (string -> + Protocols.Handle.t -> + (S.transaction admission, Concepts.Condition.condition) result ) -> storage:S.connection -> constructor:(Tree.node -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> node:Tree.node -> + unit -> Protocols.Handle.protocol end end -- cgit v1.2.3