def taken

stelliferous@0.0.2.0 · tensor_model.bend:43

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel

import Base

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

Uses (8)

Used by (1)

stelliferous@0.0.2.0/tensor_model:take