def all

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

import Base

12def all(~Atom: Data,items: List<&2,Tree<Atom>>) -> Tree<Atom>:
13  match items:
14    case Nil{}: Constant{True{}}
15    case Con{head,tail}: Both{head,all(~Atom,tail)}