OrdinarySchema.product: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/ordinary_schema.bend as OrdinarySchema
Lines 42-46 of bendvy-ecs-core@0.1.0.3/ordinary_schema.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/ordinary_schema.bend&start_line=42&end_line=46

import Base
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as Fragment

# Compose two same-schema declarations, appending entries left then right
# and deriving matching component/resource Product.Owner types. Supports
# arbitrary affine payload types; does not copy payloads or reject collisions.
def product(~S:Data,~LC:Type,~LR:Type,~RC:Type,~RR:Type,left:Schema<S,LC,LR>,right:Schema<S,RC,RR>) -> Schema<S,Product.Owner<LC,RC>,Product.Owner<LR,RR>>:
  Schema{List.append(&2,Fragment.Entry<S>,entries(~S,~LC,~LR,left),entries(~S,~RC,~RR,right))}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/ordinary_schema.bend&name=Schema
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/ordinary_schema.bend&name=entries
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=Entry