def write_words.state.remaining.copied
mylsm-lsm-store@0.6.0.1 · src/Fs.bend:48
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import Base
48def write_words.state.remaining.copied(
49 file: File,
50 for_write_offset: U32,
51 for_read_offset: U32,
52 remaining: U32 & (U32 & U32),
53 words: Array<U32>
54) -> WriteWordsState:
55 match remaining:
56 case (for_write, (for_read, for_empty)):
57 WriteWordsNeed{file, (for_write_offset, for_read_offset),
58 (for_write, for_read), words, U32.is_zero(for_empty)}