def exact.nat.duplicate.step

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

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

import Base

469def exact.nat.duplicate.step(pair: Nat & Nat) -> Nat & Nat:
470  match pair:
471    case (left, right): (Nat.add(1n, left), Nat.add(1n, right))

Uses (4)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/coordinator/Io:exact.nat.duplicate