~/jendhub

def continued

stelliferous@0.0.2.0 · tensor_file.bend:325

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile
import Base

325def continued(result: Result<&1,&1,U32 & String,Unit>,file: File,storage: Array<F32>,remaining: Nat,offset: U32) -> Writing:
326  match result:
327    case Fail{error}: Finished{file,False{}}
328    case Done{unit}: pending(remaining,file,storage,offset)

Uses (12)

Used by (1)