def target_field

bendvy-ecs-core@0.1.0.3 · execution_relation_access.bend:66

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W

66def target_field(~S:Data,~H:Type,cap:Reader<S,H>) -> H -> W.Handle<S> -> H & Lookup<Maybe<&2,W.Handle<S>>>:
67  match cap:
68    case Reader{target,_}:target