def pair_release_fn

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

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

import Base

111def pair_release_fn(~W:Type,~OwnerA:Type,~OwnerB:Type,~releaseA:W -> OwnerA -> W,~releaseB:W -> OwnerB -> W,context:W,owners:OwnerA & OwnerB) -> W:
112  match owners:
113    case (ownerA,ownerB):pair_release_after_left(~W,~OwnerB,~releaseB,ownerB,releaseA(context,ownerA))

Uses (3)

Used by (2)