ResourceField.project: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/resource_field.bend as ResourceField
Lines 11-12 of bendvy-ecs-core@0.1.0.3/resource_field.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/resource_field.bend&start_line=11&end_line=12

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

def project(~R:Type,~P:Type,~Rest:Type,~V:Data,~lens:Product.Lens<R,P,Rest>,~view:P -> P & V,resource:R) -> R & V:
  taken(~R,~P,~Rest,~V,~lens,~view,Product.get_field(~R,~P,~Rest,lens)(resource))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=Lens
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=get_field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/resource_field.bend&name=taken