def read_grant

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

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

69# Trusted setup constructor for a closed read operation indexed by observe.
70# Accepts a domain without mode validation; prefer reading when checking a
71# Declaration. Runtime world/reader checks belong to the supplied operation.
72def read_grant(~S:Data,~E:Data,~H:Type,~observe:H -> H & Ev.Reading<E>,_:Domain<S,E>) -> Ev.ReadAccess<H,E,observe>:Ev.ReadAccess{}