def after_write

stelliferous@0.0.2.0 · tensor_file.bend:330

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

330def after_write(written: Written(),storage: Array<F32>,remaining: Nat,offset: U32) -> Writing:
331  (file,result) = written
332  continued(result,file,storage,remaining,offset)

Uses (8)

Used by (2)