~/jendhub

def expect_storage

stelliferous@0.0.2.0 · tensor.bend:594

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

594def expect_storage(~Element: Data,tensor: Tensor<Element>) -> IO(Storage.Buffer<Element>):
595  expected_storage(~Element,into_storage(~Element,tensor))

Uses (5)

Used by (1)