~/jendhub

def write_words.after.checked

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

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

92def write_words.after.checked(
93  file: File,
94  offset: U32,
95  remaining: U32,
96  copies: U32 & (U32 & U32),
97  words: Array<U32>
98) -> WriteWordsState:
99  match copies:
100    case (for_offset, (for_subtract, for_zero)):
101      write_words.after.choose(
102        file, U32.add(offset, for_offset), U32.sub(remaining, for_subtract),
103        words, U32.is_zero(for_zero))

Uses (10)

Used by (1)