type Frame

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

import Base
import world.bend as W

9# Trusted declaration setup receives a nominal cursor-free frame. The public
10# query grant exposes neither lifecycle filters nor added/changed observations.
11# Machine conditions belong to #55; services/streams have no grant here.
12# Trusted cursor-free Check frame owning World. Ordinary condition bodies
13# receive opaque H with read capabilities, not raw world constructors.
14# No lifecycle cursor or event reader is allocated by this frame.
15type Frame<-S:Data,-Store:Type,-R:Type,-E:Data> is Type:
16  Frame{world:W.World<S,Store,R,E>}