OrdinarySchemaProvision.Provision: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_schema_provision.bend as OrdinarySchemaProvision
Lines 10-16 of bendvy-ecs-core@0.1.0.4/ordinary_schema_provision.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_schema_provision.bend&start_line=10&end_line=16

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema

# The single ordinary Schema owns all keys. The erased traversal holds no keys,
# presenters or payloads. Ordinary builders generate matching leaf slots/order.
# Trusted ordinary schema setup indexed by matching storage construction
# and population counting. Contains one schema, not live World/resource owners.
# Raw construction must preserve entry/slot order; no lens laws are checked.
type Provision<-S:Data,-C:Type,-R:Type,-empty:Unit -> C,-count:C -> List<&2,W.Handle<S>> -> C & List<&2,Maybe<&2,U32>>> is Data:
  Provision{schema:Schema.Schema<S,C,R>}

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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_schema.bend&name=Schema
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle