~/jendhub

def seek.block.u32.clone.pair.result

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:586

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

586def seek.block.u32.clone.pair.result(pair: Nat & Nat) -> U32 & U32:
587  match pair:
588    case (first, second): (U32.from_nat(first), U32.from_nat(second))

Uses (5)

Used by (1)