~/jendhub

def resource_read_field

bendvy-ecs-core@0.1.0.3 · execution_access.bend:117

import bendvy-ecs-core@0.1.0.3/execution_access.bend as ExecutionAccess
import Base

117def resource_read_field(~H:Type,~V:Data,cap:ResourceRead<H,V>) -> H -> H & V:
118  match cap:
119    case ResourceRead{get}:get

Uses (2)

Used by (0)

No other definition uses this definition.