def has_binding

bendvy-ecs-core@0.1.0.4 · ordinary_condition_composition.bend:148

import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as OrdinaryConditionComposition
import Base

148def has_binding(facts:List<&2,BindingDescription>,+id:U32) -> Bool:
149  match facts:
150    case []:False{}
151    case BindingDescription{bound,_} <> rest:Bool.or(U32.is_eq(bound,id),has_binding(rest,id))

Uses (6)

Used by (0)

No other definition uses this definition.