From 254d106c92dcabcdeb83a5d0141deca22ffb79de Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 9 Oct 2026 01:16:35 -0300 Subject: admission protocol for multigroup denial checks --- lib/kernel/Multigroup.mli | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'lib/kernel/Multigroup.mli') diff --git a/lib/kernel/Multigroup.mli b/lib/kernel/Multigroup.mli index 6dcfb2f..fab02df 100644 --- a/lib/kernel/Multigroup.mli +++ b/lib/kernel/Multigroup.mli @@ -1,4 +1,5 @@ -(** A multigroup: its schemas, \multigroup\[m]\schema\[s]. *) +(** A multigroup: its schemas, \multigroup\[m]\schema\[s], and its denials, + \multigroup\[m]\denial\[d]. *) module Make (S : Abstract.Storage.STORAGE) : sig include Merkle.VALUE @@ -9,7 +10,8 @@ module Make (S : Abstract.Storage.STORAGE) : sig (Protocols.Handle.t, Concepts.Condition.condition) result (** a multigroup handed over with no address, as a directory holding its - schemas under \schema, to store once the write has begun. *) + schemas under \schema and its denials under \denial, to store once the + write has begun. *) val admit : string -> Protocols.Handle.t -> -- cgit v1.2.3