def pending

stelliferous@0.0.2.0 · tensor_file.bend:320

import Base

320def pending(remaining: Nat,file: File,storage: Array<F32>,offset: U32) -> Writing:
321  match remaining:
322    case 0n: Finished{file,True{}}
323    case 1n+rest: Pending{file,storage,offset,1n+rest}