~/jendhub

def pair_selected

bendvy-ecs-core@0.1.0.4 · ordinary_query_declaration.bend:115

import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as OrdinaryQueryDeclaration
import Base

115def pair_selected(~H:Type,right:H -> H & Bool,observed:H & Bool) -> H & Bool:
116  match observed:
117    case (owner,False{}):(owner,False{})
118    case (owner,True{}):right(owner)

Uses (3)

Used by (1)