type Tree
import bendvy-ecs-core@0.1.0.4/machine_conditions.bend as MachineConditionsimport Base
3# Atom is the caller's schema-bound heterogeneous condition shape. Env is only
4# captured machine metadata; the world and its component owners remain Type.
5type Tree<Atom: Data> is Data:
6 Leaf{atom: Atom}
7 Constant{value: Bool}
8 Negate{inner: Tree<Atom>}
9 Both{left: Tree<Atom>,right: Tree<Atom>}
10 Either{left: Tree<Atom>,right: Tree<Atom>}