ResourceFieldBinding.left: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/resource_field_binding.bend as ResourceFieldBinding
Lines 36-38 of bendvy-ecs-core@0.1.0.4/resource_field_binding.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/resource_field_binding.bend&start_line=36&end_line=38

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

def left(~S:Data,~W:Type,~L:Type,~R:Type,~Rest:Type,~LI:Data,~RI:Data,~outer:Product.Lens<W,Product.Owner<L,R>,Rest>,value:Cursor<S,W,Product.Owner<L,R>,Rest,Branch<Built<S,L,LI>,Built<S,R,RI>>,outer>) -> Cursor<S,W,L,Rest & R,LI,left_lens(~W,~L,~R,~Rest,~outer)>:
  match value:
    case Cursor{Branch{Built{_,index},_}}:Cursor{index}

Uses (7):
  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.4/owner_product.bend&name=Lens
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/resource_field_binding.bend&name=Branch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/resource_field_binding.bend&name=Built
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/resource_field_binding.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/resource_field_binding.bend&name=left_lens