def write_grant

bendvy-ecs-core@0.1.0.4 · ordinary_event_declaration.bend:73

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev

73# Trusted setup constructor for a closed publication operation indexed by
74# publish. Accepts a domain without checking a Declaration mode. Runtime
75# authority and rollback are properties of the supplied operation, not this token.
76def write_grant(~S:Data,~E:Data,~H:Type,~publish:H -> E -> H,_:Domain<S,E>) -> Ev.WriteAccess<H,E,publish>:Ev.WriteAccess{}