def lens

bendvy-ecs-core@0.1.0.4 · world_resource_owner.bend:16

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

16def lens(~S:Data,~C:Type,~R:Type,~E:Data) -> Product.Lens<W.World<S,C,R,E>,R,Rest<S,C,R,E>>:
17  Product.Lens{take(~S,~C,~R,~E),put(~S,~C,~R,~E)}