Provider.aux_get: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/provider.bend as Provider
Lines 30-33 of bendvy-ecs-core@0.1.0.4/provider.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/provider.bend&start_line=30&end_line=33

import Base
import column.bend as Col
import component.bend as Cmp

def aux_get(~S: Data,~Store: Type,~R: Type,~E: Data,~AuxRest: Type,~AuxC: Type,~AuxV: Data,~AuxToken: Data,~aux_take: Store -> AuxRest & Col.Column<S,AuxC>,~aux_put: AuxRest -> Col.Column<S,AuxC> -> Store,~aux_project: AuxC -> AuxC & AuxV,frame: Frame<S,Store,R,E>) -> Frame<S,Store,R,E> & Cmp.Access<AuxV>:
  match frame:
    case Frame{tx,+handle,+mainName,+auxName,+error}:
      read_join(~S,~Store,~R,~E,~AuxV,handle,mainName,auxName,error,Cmp.tx_get(~S,~Store,~R,~E,~AuxRest,~AuxC,~AuxV,~AuxToken,~aux_take,~aux_put,~aux_project,Cmp.Family{auxName},tx,handle))

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/column.bend&name=Column
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/component.bend&name=Access
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/component.bend&name=Family
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/component.bend&name=tx_get
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/provider.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/provider.bend&name=read_join