OrdinaryCheckMachine.Read: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_check_machine.bend as OrdinaryCheckMachine
Lines 9-12 of bendvy-ecs-core@0.1.0.4/ordinary_check_machine.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_check_machine.bend&start_line=9&end_line=12

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

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/capabilities.bend&name=ValueRead
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/machine.bend&name=CurrentView