~/jendhub

def names

stelliferous@0.0.2.0 · tensor_model.bend:139

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel
import Base

139def names(store: Store) -> Store & String:
140  match store:
141    case Empty{}: (Empty{},"")
142    case Entry{+name,tensor,rest}: named_rest(name,tensor,names(rest))

Uses (5)

Used by (1)