WorldResourceOwner.lens: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/world_resource_owner.bend as WorldResourceOwner
Lines 16-17 of bendvy-ecs-core@0.1.0.4/world_resource_owner.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/world_resource_owner.bend&start_line=16&end_line=17

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

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Lens
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world_resource_owner.bend&name=Rest
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world_resource_owner.bend&name=put
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world_resource_owner.bend&name=take