def structural_flush

bendvy-ecs-core@0.1.0.4 · machine_world.bend:30

import Base
import world.bend as W

30# ApplyDeferred only drains structural commands. Machine commits require the
31# separate marker; callers must not conflate the two public operations.
32def structural_flush(~S: Data,~C: Type,~R: Type,~E: Data,world: W.World<S,C,R,E>) -> W.World<S,C,R,E>:
33  W.barrier(~S,~C,~R,~E,world)