def product_clear

bendvy-ecs-core@0.1.0.4 · restore_graph_machine.bend:91

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

91def product_clear(~L:Type,~Right:Type,~left:L -> L,~right:Right -> Right,owner:Product.Owner<L,Right>) -> Product.Owner<L,Right>:
92  match owner:
93    case Product.Owner{l,r}:Product.Owner{left(l),right(r)}