def nat.clone.pair.step

mylsm-lsm-store@0.6.0.1 · src/ByteSstIo.bend:17

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

import Base

17def nat.clone.pair.step(pair: Nat & Nat) -> Nat & Nat:
18  match pair:
19    case (left, right): (Nat.add(left, 1n), Nat.add(right, 1n))

Uses (4)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/ByteSstIo:nat.clone.pair