def inverse_field

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

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

69def inverse_field(~S:Data,~H:Type,cap:Reader<S,H>) -> H -> W.Handle<S> -> H & Lookup<List<&2,W.Handle<S>>>:
70  match cap:
71    case Reader{_,inverse}:inverse