def select_right

bendvy-ecs-core@0.1.0.4 · owned_event_key_route.bend:16

import Base
import bendvy-ecs-core@0.1.0.4/event_publication.bend as Publication

16def select_right(~A:Data,~B:Data,~select:List<&2,B> -> List<&2,Nat>,records:List<&2,Publication.Publication<A,B>>) -> List<&2,Nat>:
17  select(Publication.second_values(~A,~B,records))