OrdinarySystem.Defined: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_system.bend as OrdinarySystem
Lines 19-23 of bendvy-ecs-core@0.1.0.4/ordinary_system.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_system.bend&start_line=19&end_line=23

import Base

# Defined returns World and ordinary registration owner; Rejected returns
# World on registration refusal. No system body is executed by definition.
type Defined<-S:Data,-World:Type,-Registry:Type> is Type:
  Defined{world:World,owner:Owner<S,Registry>}
  Rejected{world:World}

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