Check.Frame: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/check.bend as Check
Lines 9-16 of bendvy-ecs-core@0.1.0.3/check.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&start_line=9&end_line=16

import Base
import world.bend as W

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=World