def pair_empty

bendvy-ecs-core@0.1.0.4 · ordinary_recovery_declaration.bend:52

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

52def pair_empty(~L:Type,~R:Type,~left:Unit -> L,~right:Unit -> R,unit:Unit) -> Product.Owner<L,R>:Product.Owner{left(Unit{}),right(unit)}