Check.Plan: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/check.bend as Check
Lines 30-34 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=30&end_line=34

import Base
import world.bend as W

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=World