def write_words.state.remaining
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fsimport Base
61def write_words.state.remaining(
62 file: File,
63 offsets: U32 & U32,
64 remaining: U32 & (U32 & U32),
65 words: Array<U32>
66) -> WriteWordsState:
67 match offsets:
68 case (for_write_offset, for_read_offset):
69 write_words.state.remaining.copied(file, for_write_offset,
70 for_read_offset, remaining, words)