~/jendhub

def expect

stelliferous@0.0.2.0 · tensor.bend:585

import stelliferous@0.0.2.0/tensor.bend as Tensor
import Base

585# Stops the program with the recorded problem, for scripts and examples.
586def expect(~Element: Data,tensor: Tensor<Element>) -> IO(Tensor<Element>):
587  expected(~Element,check(~Element,tensor))

Uses (4)

Used by (1)