~/jendhub

def exact.start.copied

mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:478

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

478def exact.start.copied(
479  file: File,
480  copies: Nat & Nat
481) -> IO(
482  File & Result<&1, &1, U32 & String, ExactResult>
483):
484  match copies:
485    case (fuel, needed):
486      exact.loop(Nat.add(Nat.mul(2n, fuel), 1n), Need{file, needed, Nil{}})

Uses (14)

Used by (1)