def write_words.state.remaining

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

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

Uses (7)

Used by (1)