def any

bendvy-ecs-core@0.1.0.3 · machine.bend:141

import bendvy-ecs-core@0.1.0.3/machine.bend as Machine
import Base

141def any(~V: Data,items: List<&2,Condition<V>>) -> Condition<V>:
142  match items:
143    case Nil{}: Constant{False{}}
144    case Con{head,tail}: Or{head,any(~V,tail)}

Uses (3)

Used by (0)

No other definition uses this definition.