type Plan

bendvy-ecs-core@0.1.0.3 · check.bend:30

import Base
import world.bend as W

30# Trusted setup pairing runtime-requirement observation with read grants.
31# required must return World; arbitrary callback mutations are not isolated
32# by the Check abstraction. Bodies receive only the declared Ops(H).
33type Plan<-S:Data,-Store:Type,-R:Type,-E:Data,-Ops:Type -> Type> is Type:
34  Plan{required:W.World<S,Store,R,E> -> W.World<S,Store,R,E> & List<&2,String>,caps:Ops(Frame<S,Store,R,E>)}