diff options
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 -> |