def exact.start

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:93

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

import Base

93def exact.start(file: File, +needed: Nat) -> IO(File & Result<&1, &1, U32 & String, ExactResult>):
94  exact.loop(Nat.add(Nat.mul(2n, needed), 1n), ExactNeed{file, needed, Nil{}})

Uses (13)

Used by (4)