~/jendhub

def write_words.after.choose

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

import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import Base

81def write_words.after.choose(
82  file: File,
83  offset: U32,
84  remaining: U32,
85  words: Array<U32>,
86  no_progress: Bool
87) -> WriteWordsState:
88  match no_progress:
89    case True{}: WriteWordsNoProgress{file}
90    case False{}: write_words.state(file, offset, remaining, words)

Uses (6)

Used by (1)