Fs.write_words.after.choose: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
Lines 81-90 of mylsm-lsm-store@0.6.0.1/src/Fs.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Fs.bend&start_line=81&end_line=90

import Base

def write_words.after.choose(
  file: File,
  offset: U32,
  remaining: U32,
  words: Array<U32>,
  no_progress: Bool
) -> WriteWordsState:
  match no_progress:
    case True{}: WriteWordsNoProgress{file}
    case False{}: write_words.state(file, offset, remaining, words)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Fs.bend&name=WriteWordsState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Fs.bend&name=write_words.state