def joined

bendvy-ecs-core@0.1.0.4 · owned_event_family_catalog.bend:13

import bendvy-ecs-core@0.1.0.4/owned_event_family_catalog.bend as OwnedEventFamilyCatalog

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

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

Uses (3)

Used by (2)