def write_words.state
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fsimport Base
72def write_words.state(
73 file: File,
74 offset: U32,
75 remaining: U32,
76 words: Array<U32>
77) -> WriteWordsState:
78 write_words.state.remaining(file, u32.clone.pair(offset),
79 u32.clone.triple(remaining), words)