def write_words.state

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:72

import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import 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)

Uses (7)

Used by (2)