def write.start.copies
mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:386
import mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend as Io
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
386def write.start.copies(
387 file: File,
388 words: Array<U32>,
389 copies: U32 & U32 & U32
390) -> IO(File & Result<&1, &1, U32 & String, Unit>):
391 match copies:
392 case (fuel_length, (total_seed, remaining_seed)):
393 write.start.total(file, words, fuel_length, remaining_seed,
394 Protocol.u32.duplicate.triple(total_seed))