def any

bendvy-ecs-core@0.1.0.4 · machine_conditions.bend:16

import bendvy-ecs-core@0.1.0.4/machine_conditions.bend as MachineConditions
import Base

16def any(~Atom: Data,items: List<&2,Tree<Atom>>) -> Tree<Atom>:
17  match items:
18    case Nil{}: Constant{False{}}
19    case Con{head,tail}: Either{head,any(~Atom,tail)}

Uses (3)

Used by (0)

No other definition uses this definition.