Resource.tx_get: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/resource.bend as Resource
Lines 11-13 of bendvy-ecs-core@0.1.0.4/resource.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/resource.bend&start_line=11&end_line=13

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

def tx_get(~S: Data,~C: Type,~R: Type,~E: Data,~V: Data,~project: R -> R & V,tx: T.Tx<W.World<S,C,R,E>,E>) -> T.Tx<W.World<S,C,R,E>,E> & V:
  match tx:
    case T.Tx{world,undo,commands,events,trace}: get_join(~S,~C,~R,~E,~V,W.observe_resource(~S,~C,~R,~E,~V,~project,world),undo,commands,events,trace)

Uses (5):
  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/resource.bend&name=get_join
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Tx
  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.bend&name=observe_resource