def exact.start

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

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

import Base

488def exact.start(
489  file: File,
490  needed: Nat
491) -> IO(
492  File & Result<&1, &1, U32 & String, ExactResult>
493):
494  exact.start.copied(file, exact.nat.duplicate(needed))

Uses (10)

Used by (4)