OwnedEventFamilyCatalog.joined: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/owned_event_family_catalog.bend as OwnedEventFamilyCatalog
Lines 13-16 of bendvy-ecs-core@0.1.0.4/owned_event_family_catalog.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_family_catalog.bend&start_line=13&end_line=16

import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

def joined(~LA:Type,~LB:Type,~RA:Type,~RB:Type,first:LA & RA,second:LB & RB) -> Product.Owner<LA,LB> & Product.Owner<RA,RB>:
  (first,receiptA)=first
  (second,receiptB)=second
  (Product.Owner{first,second},Product.Owner{receiptA,receiptB})

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Owner