def product_empty

bendvy-ecs-core@0.1.0.4 · ordinary_schema_provision.bend:53

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

53def product_empty(~L:Type,~R:Type,~leftEmpty:Unit -> L,~rightEmpty:Unit -> R,unit:Unit) -> Product.Owner<L,R>:
54  Product.Owner{leftEmpty(Unit{}),rightEmpty(Unit{})}