def clock_read

bendvy-ecs-core@0.1.0.4 · compose.bend:329

import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import capabilities.bend as Cap

329# Build a current-World tick read grant, not a clock-advance capability.
330def clock_read(~S: Data,~Store: Type,~R: Type,~E: Data) -> Cap.ValueRead<Frame<S,Store,R,E>,Tick.Tick>:
331  Cap.ValueRead{clock_get(~S,~Store,~R,~E)}

Uses (4)

Used by (0)

No other definition uses this definition.