System.Registry: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/system.bend as System
Lines 14-18 of bendvy-ecs-core@0.1.0.4/system.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/system.bend&start_line=14&end_line=18

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/world.bend as W

# Affine registration owner with runtime namespace, actual registration ID,
# metadata and lifecycle cursor. The erased runner binds argument/result types;
# raw construction is trusted administration, not a way to confer gameplay access.
type Registry<S: Data,C: Type,R: Type,E: Data,Args: Type,Error: Data,Output: Type,-runner: W.World<S,C,R,E> -> Args -> Outcome<W.World<S,C,R,E>,Error,Output>> is Type:
  Registry{namespace: U32,id: U32,name: String,access: List<&2,String>,cursor: Maybe<&2,Tick.Tick>}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World