type Program

bendvy-ecs-core@0.1.0.4 · ordinary_condition_declaration.bend:11

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

11# Owned condition-plan builder/evaluator plus ordered condition names.
12# Ordinary constructors derive slots and descriptions from the same program.
13# Raw construction remains trusted; this is not a registered stateful guard.
14type Program<-S:Data,-C:Type,-R:Type,-E:Data,-Ids:Data> is Type:
15  Program{width:Nat,build:Ids -> SP.Plan<S>,names:List<&2,String>,evaluate:W.World<S,C,R,E> -> U32 -> W.World<S,C,R,E> & Bool}