def check

stelliferous@0.0.2.0 · tensor.bend:194

import stelliferous@0.0.2.0/tensor.bend as Tensor

import Base

194def check(~Element: Data,tensor: Tensor<Element>) -> Result<&1,&1,Tensor<Element> & Problem,Tensor<Element>>:
195  match tensor:
196    case Tensor{storage,shape,fill,status,workers}: checked(~Element,status,storage,shape,fill,workers)
197    case Banded{bands,geometry,shape,fill,status,workers}: checked_bands(~Element,status,bands,geometry,shape,fill,workers)

Uses (6)

Used by (2)