OrdinaryEventDeclaration.write_grant: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as OrdinaryEventDeclaration
Lines 73-76 of bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend&start_line=73&end_line=76

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

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=WriteAccess
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend&name=Domain