~/jendhub

def selected_left

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

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

109def selected_left(~H:Type,~right:H -> H & Bool,observed:H & Bool) -> H & Bool:
110  match observed:
111    case (owner,False{}):(owner,False{})
112    case (owner,True{}):right(owner)

Uses (3)

Used by (1)