def refused

stelliferous@0.0.2.0 · tensor_file.bend:256

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

256def refused(file: File,tensor: Tensor()) -> IO(Tensor()):
257  do IO<Tensor()>:
258    File.close(file)
259    IO.pure(Tensor(),tensor)

Uses (7)

Used by (3)