TensorModel.taken: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_model.bend as TensorModel
Lines 43-46 of stelliferous@0.0.2.0/tensor_model.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_model.bend&start_line=43&end_line=46

import Base

def taken(store: Store,+wanted: String) -> Tensor() & Store:
  match store:
    case Empty{}: (missing(wanted),Empty{})
    case Entry{+name,tensor,rest}: scan(rest,String.eq(name,wanted),name,tensor,wanted)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_model.bend&name=Store
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_model.bend&name=Tensor
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_model.bend&name=missing
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_model.bend&name=scan