def u32.clone.pair.result

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:26

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

import Base

26def u32.clone.pair.result(copies: Nat & Nat) -> U32 & U32:
27  match copies:
28    case (first, second): (U32.from_nat(first), U32.from_nat(second))

Uses (5)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/Fs:u32.clone.pair