def selected_right

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

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

import Base

106def selected_right(~H:Type,selected:Bool,observed:H & Bool) -> H & Bool:
107  match observed:
108    case (owner,right):(owner,Bool.and(selected,right))

Uses (4)

Bool
Pair
Sigma
Bool.and

Used by (0)

No other definition uses this definition.