diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-09 01:16:35 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-09 01:16:35 -0300 |
| commit | 254d106c92dcabcdeb83a5d0141deca22ffb79de (patch) | |
| tree | c99478aed6730365fcdd907b7bd777e3b7e2237a /lib/kernel/Multigroup.mli | |
| parent | 4896005e5d156e8a590b12946a54507daa895686 (diff) | |
| download | RNT-254d106c92dcabcdeb83a5d0141deca22ffb79de.tar.gz RNT-254d106c92dcabcdeb83a5d0141deca22ffb79de.zip | |
admission protocol for multigroup denial checks
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Multigroup.mli | 6 |
1 files changed, 4 insertions, 2 deletions
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 -> |