def workers

stelliferous@0.0.2.0 · tensor.bend:170

import stelliferous@0.0.2.0/tensor.bend as Tensor

import Base

170def workers(~Element: Data,tensor: Tensor<Element>) -> Tensor<Element> & U32:
171  match tensor:
172    case Tensor{storage,shape,fill,status,+workers}: (Tensor{storage,shape,fill,status,workers},workers)
173    case Banded{bands,geometry,shape,fill,status,+workers}: (Banded{bands,geometry,shape,fill,status,workers},workers)

Uses (4)

Used by (2)