def release

bendvy-ecs-core@0.1.0.4 · restore_product.bend:18

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

18def release(~L:Type,~Right:Type,~releaseLeft:L -> L,~releaseRight:Right -> Right,state:Product.Owner<L,Right>) -> Product.Owner<L,Right>:
19  match state:
20    case Product.Owner{left,right}:Product.Owner{releaseLeft(left),releaseRight(right)}