def barrier

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

import Base
import bendvy-ecs-core@0.1.0.4/schedule.bend as Sch
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

35# Build an explicit structural barrier placement with requirements and no
36# condition slot. Constructing the program does not apply pending commands.
37def barrier(~S:Data,~C:Type,~R:Type,~E:Data,~Ids:Data,requirements:List<&2,SP.Requirement<S>>) -> Program<S,C,R,E,Ids>:
38  Program{0n,ids => SP.Entry{Sch.Barrier{},requirements},[],world => slot => (world,False{})}