~/jendhub

def check

stelliferous@0.0.2.0 · tensor_f32.bend:112

import stelliferous@0.0.2.0/tensor_f32.bend as TensorF32
import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors

112def check(tensor: Tensor()) -> Result<&1,&1,Tensor() & Problem(),Tensor()>:
113  Tensors.check(~F32,tensor)

Uses (6)

Used by (0)

No other definition uses this definition.