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/Scope.mli | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'lib/kernel/Scope.mli') diff --git a/lib/kernel/Scope.mli b/lib/kernel/Scope.mli index aabdc61..83b3309 100644 --- a/lib/kernel/Scope.mli +++ b/lib/kernel/Scope.mli @@ -42,6 +42,9 @@ val previous : val catalog : implementation Protocols.Handle.interface -> (string list, Concepts.Condition.condition) result +(** \multigroup\[m]\schema\[s]\relation, from a branch state. *) +val relations : home -> Path.t + (** \multigroup\[m]\schema\[s]\relation\[relation], from a branch state. *) val path : home -> string -> Path.t @@ -56,8 +59,11 @@ val attribute : home -> string -> string -> string option head of \system\branch\[branch], as one successor state. A multigroup or schema not there yet is made, and a value with no address is stored as a schema stores it: a program as itself, a relation as its - tuples. If the head moved meanwhile nothing changes, and it fails. *) + tuples. [denials] are named [d], in + \denial of the home multigroup, or [m:d], in that of [m]. If the head moved meanwhile, or a multigroup does not + admit the state, nothing changes, and it fails. *) val publish : + ?denials:(string * Protocols.Handle.t option) list -> Protocols.Handle.t -> branch:string -> home:home -> -- cgit v1.2.3