~/jendhub

def pair_commit_join

bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:94

import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
import Base

94def pair_commit_join(~W:Type,~OwnerA:Type,~OwnerB:Type,ownerA:OwnerA,committedB:W & OwnerB) -> W & (OwnerA & OwnerB):
95  match committedB:
96    case (world,ownerB):(world,(ownerA,ownerB))

Uses (2)

Used by (1)