type Read

bendvy-ecs-core@0.1.0.4 · ordinary_check_machine.bend:9

import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

9# The existing nominal machine declaration owns both read and availability.
10# No Resource identity or second caller-authored description is fabricated.
11type Read<-S:Data,-Token:Data,-V:Data,-H:Type> is Type:
12  Read{read:Cap.ValueRead<H,M.CurrentView<S,Token,V>>}