def joined

bendvy-ecs-core@0.1.0.3 · owner_product.bend:36

import bendvy-ecs-core@0.1.0.3/owner_product.bend as OwnerProduct

import Base

36def joined(~A:Type,~B:Type,~P:Type,outer:A,observed:B & P) -> (A & B) & P:
37  match observed:
38    case (inner,part):((outer,inner),part)

Uses (2)

Pair
Sigma

Used by (1)

bendvy-ecs-core@0.1.0.3/owner_product:inward